Cassol, L., 		Zorzo, A., & 		Fernandes, P.
(2002).
 Uso de Redes de Autômatos Estocásticos para Modelar Mecanismos Tolerantes a Falhas.
In <em>Proceedings of the 3rd Workshop on Testing and Fault Tolerance</em>, (pp. 73-80). Porto Alegre: SBC.
doi:10.5753/wtf.2002.23407