C. Fraga Filho, J. Braga, A. Oliveira, and V. Iorio.
"Simulação de Modelos de Processo de Software com Máquinas de Estado Abstratas", in <em>Anais do VIII Simpósio Brasileiro de Qualidade de Software</em>, Ouro Preto, 2009, pp. 226-240, doi: <a href="https://doi.org/10.5753/sbqs.2009.15515">https://doi.org/10.5753/sbqs.2009.15515</a>.