Fault-Tolerant Message-Passing Distributed Systems - Raynal, Michel (Springer International Publishing, 2020)