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