Stabilization, Safety, and Security of Distributed Systems - Taisuke Izumi, Petr Kuznetsov (Springer, 2018)