Clayton Fraga Filho, José Luis Braga, Alcione Oliveira, and Vladimir Iorio. 2009. Simulação de Modelos de Processo de Software com Máquinas de Estado Abstratas. In Anais do VIII Simpósio Brasileiro de Qualidade de Software, junho 01, 2009, Ouro Preto, Brasil. SBC, Porto Alegre, Brasil, 226-240. DOI: https://doi.org/10.5753/sbqs.2009.15515.