Guide to Reliable Distributed Systems - Birman, Kenneth P. (Springer London, 2012)