Software Engineering for Resilient Systems In Proceedings of 4th International Workshop on SERENE 2012. Berlin, Heidelberg: Springer-Verlag, 2012.