Proceedings of the 13th European Workshop on Dependable Computing - Giandomenico, Felicita Di (Verfasser); Association for Computing Machinery-Digital Library (ACM, 2011)