Silva, Daniel, and Patricia D. L. Machado.
" Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos." <em>Proceedings of the 7th Workshop on Testing and Fault Tolerance,
Curitiba/PR, 2006</em>. SBC, 2006,  
pp.13-24.