Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings - Avgeriou, Paris (Springer Berlin Heidelberg : Imprint: Springer, 2012)