Amir Pnueli. How Vital is Liveness? Verifying Timing Properties of Reactive and Hybrid Systems (Extended Abstract). In Rance Cleaveland, editor, CONCUR 92, Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24-27, 1992, Proceedings. Volume 630 of Lecture Notes in Computer Science, pages 162-175, Springer, 1992.
Abstract is missing.