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>Anais do VII Workshop de Testes e Tolerância a Falhas,
Curitiba/PR, 2006</em>. SBC, 2006,  
pp.13-24.