Macêdo, Raimundo, and Sérgio Gorender. " Detectores Perfeitos em Sistemas Distribuídos Não Síncronos." Proceedings of the 9th Workshop on Testing and Fault Tolerance, Rio de Janeiro/RJ, 2008. SBC, 2008, pp.115-127.