Dependable Computing : 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013, Proceedings - Marco Vieira, João Carlos Cunha ((Lecture Notes in Computer Science))