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