Dependable Computing EDCC-4 : 4th European Dependable Computing Conference Toulouse, France, October 23-25, 2002, Proceedings - Andrea Bondavalli, Pascale Thevenod-Fosse ((Lecture Notes in Computer Science))