1
Software Engineering for Resilient Systems : 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings [E-Book]/