SILVA, Daniel Aguiar da; 						MACHADO, Patricia D. L..
Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos. <em>In</em>: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 7.	, 2006, Curitiba/PR.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2006
.
 p. 13-24. 
			ISSN 2595-2684. 
		DOI: <a href="https://doi.org/10.5753/wtf.2006.23348">https://doi.org/10.5753/wtf.2006.23348</a>.