Dependable computing 14th European workshop, EWDC 2013, Coimbra, Portugal, May 15 - 16, 2013 ; proceedings (Springer, 2013)