A. Brito and F. Brasileiro. "Programando um Subsistema Síncrono para Suporte a Mecanismos Eficientes de Tolerância a Falhas", in Anais do V Workshop de Testes e Tolerância a Falhas, Gramado/RS, 2004, pp. 25-36, doi: https://doi.org/10.5753/wtf.2004.23377.