Formal Techniques in Real-Time and Fault-Tolerant Systems : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings - Anders P. Ravn, Hans Rischel ((Lecture Notes in Computer Science))