Stabilization, Safety, and Security of Distributed Systems - Masuzawa, Toshimitsu (Springer Berlin Heidelberg, 2007)