C. A. Lozano and F. Castro-Aranda, “Methodology for modeling electricity markets using concurrent constraint programming”, inycomp, vol. 15, no. 2, pp. 35–43, Dec. 2013.