Bengt Jonsson Joachim Parrow Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, Uppsala, Sweden, September 9-13, 1996, Proceedings FTRTFT Lecture Notes in Computer Science 1135 Springer 1996 3-540-61648-9 db/conf/ftrtft/ftrtft1996.html