Figueiredo, André, 		Machado, Patricia, 		Cartaxo, Emanuela, 		Figueiredo, Jorge, AND 		Barbosa, Paulo.
" Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos" <em>Proceedings of the Fault Tolerance Workshop (WTF)</em> [Online], (27 May 2008)