Cassol, L., 		Zorzo, A., & 		Fernandes, P.
(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>, (pp. 73-80). Porto Alegre: SBC.
doi:10.5753/wtf.2002.23407