Assia Doudou Benoît Garbinato Rachid Guerraoui Encapsulating Failure Detection: From Crash to Byzantine Failures. 24-50 2002 conf/adaEurope/2002 Ada-Europe http://link.springer.de/link/service/series/0558/bibs/2361/23610024.htm db/conf/adaEurope/adaEurope2002.html#DoudouGG02