Brito, Andrey, and Francisco V. Brasileiro. " Programando um Subsistema Síncrono para Suporte a Mecanismos Eficientes de Tolerância a Falhas." Proceedings of the 5th Workshop on Testing and Fault Tolerance, Gramado/RS, 2004. SBC, 2004, pp.25-36.