Silva, D., & 		Machado, P.
2006 May 29.  Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :