Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings - Pelc, Andrzej; Schwarzmann, Alexander A. (Springer International Publishing : Imprint: Springer, 2015)