Simulação de Modelos de Processo de Software com Máquinas de Estado Abstratas. - Clayton Vieira Fraga Filho; José Luís Braga; Alcione de Paiva Oliveira; Vladimir Oliveira Di Iorio (SBQS, 2009)