Candolo, Marco, 		Simão, Adenilso, E 		Maldonado, José.
" MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (3 outubro 2001)