Brito, Andrey, E Brasileiro, Francisco. " Programando um Subsistema Síncrono para Suporte a Mecanismos Eficientes de Tolerância a Falhas" Anais do Workshop de Testes e Tolerância a Falhas (WTF) [Online], (10 maio 2004)