Luciano Cassol, Avelino Zorzo, and Paulo Fernandes. 2002.
 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>, maio 21, 2002, Búzios/RJ, Brasil. SBC, Porto Alegre, Brasil, 73-80. DOI: <a href="https://doi.org/10.5753/wtf.2002.23407">https://doi.org/10.5753/wtf.2002.23407</a>.