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