Summary:  J. Hopcroft and J. Ullman. Introduction to Automata Theory, Languages, and Com
putation. AddisonWesley, 1979.
 F. Jahanian and A. Mok. Safety analysis of timing properties in realtime systems.
IEEE Transactions on Software Engineering, SE--12(9):890--904, 1986.
 F. Jahanian and A. Mok. A graphtheoretic approach for timing analysis and its
implementation. IEEE Transactions on Computers, C36(8):961--975, 1987.
 R. Koymans. Specifying realtime properties with metric temporal logic. Journal of
RealTime Systems, 2:255--299, 1990.
 D. Lehman, A. Pnueli, and J. Stavi. Impartiality, justice, and fairness: The ethics of
concurrent termination. In Automata, Languages and Programming: Proceedings of
the Ninth ICALP, Lecture Notes in Computer Science 115, pages 264--277. Springer
 H. Lewis. Finitestate analysis of asynchronous circuits with bounded temporal un
certainty. Technical Report TR1589, Harvard University, 1989.
 H. Lewis. A logic of concrete time intervals. In Proceedings of the Fifth IEEE
Symposium on Logic in Computer Science, pages 380--389, 1990.
 N. Lynch and H. Attiya. Using mappings to prove timing properties. In Proceedings of
the Ninth ACM Symposium on Principles of Distributed Computing, pages 265--280,
 Z. Manna and A. Pnueli. The anchored version of the temporal framework. In Linear