Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings - Gorbenko, Anatoliy; Romanovsky, Alexander; Kharchenko, Vyacheslav (Springer Berlin Heidelberg : Imprint: Springer, 2013)