Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings Gorbenko Anatoliy Heftet / 2013 / Engelsk