Cassol, Luciano, 		Zorzo, Avelino, E 		Fernandes, Paulo.
" Uso de Redes de Autômatos Estocásticos para Modelar Mecanismos Tolerantes a Falhas" <em>Anais do Workshop de Testes e Tolerância a Falhas (WTF)</em> [Online], (21 maio 2002)