Formal Techniques in Real-Time and Fault-Tolerant Systems 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings - Joseph, Mathai; Joseph, Mathai (Springer Berlin Heidelberg : Imprint: Springer, 2000)