Stabilization, Safety, and Security of Distributed Systems - Stéphane Devismes, Franck Petit, Karine Altisen, Giuseppe Antonio Di Luna, Antonio Fernandez Anta (Springer, 2022)