Stabilization, Safety, and Security of Distributed Systems - Devismes; Mittal, Neeraj (Springer International Publishing, 2020)