Cofini, V.; De La Prieta, F.; Di Mascio, T.; Gennari, R.; Vittorini, P. Design Smart Games With Requirements, Generate Them With a Click, and Revise Them With a GUIs. ADCAIJ 2013, 1, 55-68.