Stabilization, Safety, and Security of Distributed Systems - Colette Johnen, Elad Michael Schiller, Stefan Schmid (Springer, 2021)