Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings - Romanovsky, Alexander; Troubitsyna, Elena A. (Springer International Publishing : Imprint: Springer, 2017)