Stabilization, Safety, and Security of Distributed Systems - Paul Spirakis, Philippas Tsigas (Springer, 2017)