Correa, C., 		Dotti, F., 		Fernandes, P., 		Maruani, E., 		Oleksinski, L., & 		Sales, A.
2012 Apr 30.  Um Verificador de Modelos Descritos em Redes de Autômatos Estocásticos. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :