FRAGA FILHO, Clayton Vieira; 						BRAGA, José Luis; 						OLIVEIRA, Alcione de Paiva; 						IORIO, Vladimir Oliveira Di.
 Simulação de Modelos de Processo de Software com Máquinas de Estado Abstratas. <em>In</em>: SIMPÓSIO BRASILEIRO DE QUALIDADE DE SOFTWARE (SBQS), 8.	, 2009, Ouro Preto.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2009
.
 p. 226-240. 
		DOI: <a href="https://doi.org/10.5753/sbqs.2009.15515">https://doi.org/10.5753/sbqs.2009.15515</a>.