Gabriel G. Infante López Carlos Areces Maarten de Rijke Controlled Model Exploration. 205-220 2002 conf/aiml/2002 Advances in Modal Logic db/conf/aiml/aiml2002.html#Infante-LopezAR02