Candolo, Marco, Adenilso da Silva Simão, and José Carlos Maldonado.
" MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito." <em>Anais do XV Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 2001</em>. SBC, 2001,  
pp.386-391.