Formal techniques in real-time and fault-tolerant systems : 5th international symposium, FTRTFT '98, Lyngby, Denmark, September 14-18, 1998 : proceedings / - Ravn, Anders P.; Rischel, Hans. (Springer,, 1998)