Guide to Reliable Distributed Systems Building High-Assurance Applications and Cloud-Hosted Services - Birman, Kenneth P. (Springer London, 2012)