Stabilization, Safety, and Security of Distributed Systems - Datta, Ajoy K. (Springer Berlin Heidelberg, 2006)