Stabilization, Safety, and Security of Distributed Systems - Pelc; Schwarzmann, Alexander A. (Springer International Publishing, 2015)