Software Engineering for Resilient Systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings - Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenko ((Lecture Notes in Computer Science))