Mathai Joseph Formal Techniques in Real-Time and Fault-Tolerant Systems, 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000, Proceedings FTRTFT Lecture Notes in Computer Science 1926 Springer 2000 3-540-41055-4 db/conf/ftrtft/ftrtft2000.html