S. Fabbri, J. Maldonado, and P. Masiero. " Aplicação do Critério Análise de Mutantes na Validação de Especificações Baseadas em Statecharts", in Anais do XI Simpósio Brasileiro de Engenharia de Software, Recife/PE, 1997, pp. 429-444, doi: https://doi.org/10.5753/sbes.1997.24063.