Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems - Luís Rodrigues (2010)