Figueiredo, André, 		Machado, Patricia, 		Cartaxo, Emanuela, 		Figueiredo, Jorge, E 		Barbosa, Paulo.
" Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (27 maio 2008)