Guide to reliable distributed systems : building high-assurance applications and cloud-hosted services - Birman, Kenneth P. (Texts in Computer Science,, 2012)