Brito, Andrey, and Francisco V. Brasileiro. "Programando um Subsistema Síncrono para Suporte a Mecanismos Eficientes de Tolerância a Falhas." Anais do V Workshop de Testes e Tolerância a Falhas, Gramado/RS, 2004. SBC, 2004, pp.25-36.