Stabilization, Safety, and Security of Distributed Systems - Ghaffari; Nesterenko, Mikhail; Tixeuil, Sébastien; Tucci, Sara; Yamauchi, Yukiko (Springer International Publishing, 2019)