Miranda, Rodrigo, and Francisco Brasileiro. "Integrando uma Semântica de Falhas Consistente na Comunicação Assíncrona de Objetos Distribuídos." Anais do X Workshop de Testes e Tolerância a Falhas, João Pessoa/PB, 2009. SBC, 2009, pp.48-61.