Reliable Distributed Systems - Birman, Kenneth P. (Springer New York, 2005)