Stabilization, Safety, and Security of Distributed Systems - Felber (Springer International Publishing, 2014)