Stabilization, Safety, and Security of Distributed Systems - Bonakdarpour; Petit, Franck (Springer International Publishing, 2016)