Stabilization, Safety, and Security of Distributed Systems - Higashino (Springer International Publishing, 2013)