Silva, D., & 		Machado, P.
(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>, (pp. 13-24). Porto Alegre: SBC.
doi:10.5753/wtf.2006.23348