Stabilization, Safety, and Security of Distributed Systems - Katayama, Yoshiaki; Masuzawa, Toshimitsu; Potop-Butucaru, Maria ; Yamashita, Masafumi (Springer International Publishing, 2013)