Dependable computing : 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings (2013)