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)