Silva, D., & 		Machado, P.
(2006).
 Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos.
In <em>Proceedings of the 7th Workshop on Testing and Fault Tolerance</em>, (pp. 13-24). Porto Alegre: SBC.
doi:10.5753/wtf.2006.23348