Summary:  E. Emerson and C. Lei. Modalities for modelchecking: Branching time logic strikes back.
In Proceedings of the 12th ACM Symposium on Principles of Programming Languages, pages
 E. Emerson, A. Mok, A. Sistla, and J. Srinivasan. Quantitative temporal reasoning. In
E. Clarke and R. Kurshan, editors, ComputerAided Verification, 2nd International Confer
ence, CAV'90, Lecture Notes in Computer Science 531, pages 136--145, 1990.
 T. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic modelchecking for realtime
systems. In Proceedings of the Seventh IEEE Symposium on Logic in Computer Science, pages
 D. Lee and M. Yannakakis. Online minimization of transition systems. In Proceedings of ACM
Symposium of Theory of Computing, 1992.
 H. Lewis. A logic of concrete time intervals. In Proceedings of the Fifth IEEE Symposium on
Logic in Computer Science, pages 380--389, 1990.
 X. Nicollin, J. Sifakis, and S. Yovine. From ATP to timed graphs and hybrid systems. In Real
Time: Theory in Practice, REX Workshop, Lecture Notes in Computer Science 600, pages
549--572. SpringerVerlag, 1991.
 K. –
Cer¯ans. Decidability of bisimulation equivalence for parallel timer processes. In Proceedings
of the Fourth Workshop on ComputerAided Verifiction, Lecture Notes in Computer Science,
1992. To appear.