Correa, C., 		Dotti, F., 		Fernandes, P., 		Maruani, E., 		Oleksinski, L., & 		Sales, A.
2012 abr 30.  Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :