Fraga Filho, C., Braga, J., Oliveira, A., & Iorio, V. 2009 jun 1. Simulação de Modelos de Processo de Software com Máquinas de Estado Abstratas. Anais do Simpósio Brasileiro de Qualidade de Software (SBQS). [Online] :