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