Correa, C., 		Dotti, F., 		Fernandes, P., 		Maruani, E., 		Oleksinski, L., & 		Sales, A.
(2012).
 Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos.
In <em>Anais do XIII Workshop de Testes e Tolerância a Falhas</em>, (pp. 115-128). Porto Alegre: SBC.
doi:10.5753/wtf.2012.23084