Software Engineering for Resilient Systems : Fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings - Paris Avgeriou ((Lecture Notes in Computer Science))