MGASet - Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito. - Marco Arthur Pereira Candolo; Adenilso da Silva Simão; José Carlos Maldonado (SBES, 2001)