Dependable Computing 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings Vieira Marco Heftet / 2013 / Engelsk