Guide to Reliable Distributed Systems : Building High-Assurance Applications and Cloud-Hosted Services - Kenneth P. Birman ((Texts in Computer Science))