Formal techniques in real-time and fault-tolerant systems : 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000 : proceedings - Joseph, M., 1943- (Lecture notes in computer science, 2000)