V. Cofini, F. De La Prieta, T. Di Mascio, R. Gennari, and P. Vittorini, “Design Smart Games with requirements, generate them with a Click, and revise them with a GUIs”, ADCAIJ, vol. 1, no. 3, pp. 55–68, Jul. 2013.