Formal techniques in real-time and fault-tolerant systems : 7th International Symposium, FTRTFT 2002, co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002 : proceedings - Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems; Damm, Werner; Olderog, E.-R. (Lecture notes in computer science, 2002)