1
Formal Techniques in Real-Time and Fault-Tolerant Systems [E-Book] : 7th International Symposium, FTRTFT 2002 Co-sponsored by IFIP WG 2.2 Oldenburg, Germany, September 9–12, 2002 Proceedings /