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