Fraga Filho, C., Braga, J., Oliveira, A., & Iorio, V. (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, (pp. 226-240). Porto Alegre: SBC. doi:10.5753/sbqs.2009.15515