Software Engineering for Resilient Systems : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings - Elena A. Troubitsyna ((Lecture Notes in Computer Science))