Daniel Silva and Patricia Machado. 2006.
 Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos. In <em>Anais do VII Workshop de Testes e Tolerância a Falhas</em>, maio 29, 2006, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 13-24. DOI: <a href="https://doi.org/10.5753/wtf.2006.23348">https://doi.org/10.5753/wtf.2006.23348</a>.