Cassol, Luciano, Avelino F. Zorzo, and Paulo Fernandes.
"Uso de Redes de Autômatos Estocásticos para Modelar Mecanismos Tolerantes a Falhas." <em>Anais do III Workshop de Testes e Tolerância a Falhas,
Búzios/RJ, 2002</em>. SBC, 2002,  
pp.73-80.