Gravar-mail: Software engineering for resilient systems fourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, proceedings /