CASSOL, Luciano A.; ZORZO, Avelino F.; FERNANDES, Paulo. Uso de Redes de Autômatos Estocásticos para Modelar Mecanismos Tolerantes a Falhas. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 3. , 2002, Búzios/RJ. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2002 . p. 73-80. ISSN 2595-2684. DOI: https://doi.org/10.5753/wtf.2002.23407.