Silva, Daniel, E 		Machado, Patricia.
" Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (29 maio 2006)