Formal Techniques in Real-Time and Fault-Tolerant Systems 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings - Ravn, Anders P.; Ravn, Anders P.; Rischel, Hans; Rischel, Hans (Springer Berlin Heidelberg : Imprint: Springer, 1998)