Pablo Moreno-Ger, Rubén Fuentes-Fernández, José Luis Sierra-Rodríguez, Baltasar Fernández-Manjón: Model-checking for adventure videogames. Inf. Softw. Technol. 51(3): 564-580 (2009)