Guide to reliable distributed systems: building high-assurance applications and cloud-hosted servicesx - Birman, Kenneth P., author (Spinger-Verlag, 2012)