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