Cassol, L., 		Zorzo, A., & 		Fernandes, P.
2002 mai 21.  Uso de Redes de Autômatos Estocásticos para Modelar Mecanismos Tolerantes a Falhas. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :