I. Nunes and U. Schiel. "Utilização de Grafo de Alcançabilidade para a verificação de Design Instrucional bem formado ", in Anais do II Workshop de Desafios da Computação aplicada à Educação, Maceió, 2013, pp. 1396-1405.