A. Brito and F. Brasileiro.
" Programando um Subsistema Síncrono para Suporte a Mecanismos Eficientes de Tolerância a Falhas", in <em>Proceedings of the 5th Workshop on Testing and Fault Tolerance</em>, Gramado/RS, 2004, pp. 25-36, doi: <a href="https://doi.org/10.5753/wtf.2004.23377">https://doi.org/10.5753/wtf.2004.23377</a>.