Fabbri, Sandra, 		Maldonado, José, 		Masiero, Paulo, E 		Delamaro, Márcio.
" Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (26 outubro 1994)