Fabbri, Sandra, José Carlos Maldonado, Paulo Cesar Masiero, and Márcio Eduardo Delamaro.
" Aplicação da Análise de Mutantes na Validação de Especificações Baseadas em Redes de Petri." <em>Anais do VIII Simpósio Brasileiro de Engenharia de Software,
Curitiba/PR, 1994</em>. SBC, 1994,  
pp.423-437.