Software engineering for resilient systems : 4th international workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012 : proceedings - Paris Avgeriou, editor ([Springer-Verlag , ], 2012)