Stabilization, Safety, and Security of Distributed Systems : 19th International Symposium, SSS 2017, Boston, MA, USA, November 5-8, 2017, Proceedings - Spirakis, Paul. (Springer International Publishing : Imprint: Springer, 2017)