Silva, D., & 		Machado, P.
2006 mai 29.  Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :