L. Cassol, A. Zorzo, and P. Fernandes.
"Uso de Redes de Autômatos Estocásticos para Modelar Mecanismos Tolerantes a Falhas", in <em>Anais do III Workshop de Testes e Tolerância a Falhas</em>, Búzios/RJ, 2002, pp. 73-80, doi: <a href="https://doi.org/10.5753/wtf.2002.23407">https://doi.org/10.5753/wtf.2002.23407</a>.