Correa, Claiton, 		Dotti, Fernando, 		Fernandes, Paulo, 		Maruani, Eli, 		Oleksinski, Lucas, E 		Sales, Afonso.
" Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (30 abril 2012)