Stabilization, Safety, and Security of Distributed Systems - Stéphane Devismes, Neeraj Mittal (Springer, 2020)