Henzinger, T. A., Manna, Z., &; Pnueli, A. (1992). What good are digital clocks? In 19th International Colloquium on Automata, Languages and Programming (Vol. 623, pp. 545–558). Vienna, Austria: Springer.https://doi.org/10.1007/3-540-55719-9_103 
LibreCat: https://research-explorer.ista.ac.at/record/4504
DOI: 10.1007/3-540-55719-9_103

Henzinger, T. A., Manna, Z., &; Pnueli, A. (1992). Timed transition systems. In Real Time: Theory in Practice (Vol. 600, pp. 226–251). Springer.https://doi.org/10.1007/BFb0031995 
LibreCat: https://research-explorer.ista.ac.at/record/4507
DOI: 10.1007/BFb0031995

Henzinger, T. A. (1992). Sooner Is Safer Than Later. Information Processing Letters. Elsevier.https://doi.org/10.1016/0020-0190(92)90005-G 
LibreCat: https://research-explorer.ista.ac.at/record/4517
DOI: 10.1016/0020-0190(92)90005-G

Alur, R., &; Henzinger, T. A. (1992). Logics and models of real time: A survey. In REX Workshop on Real Time: Theory in Practice (Vol. 600, pp. 74–106). Mook, The Netherlands: Springer.https://doi.org/10.1007/BFb0031984 
LibreCat: https://research-explorer.ista.ac.at/record/4593
DOI: 10.1007/BFb0031984

Alur, R., &; Henzinger, T. A. (1992). Back to the future: Towards a theory of timed regular languages. In Proceedings of the 33rd Annual Symposium on Foundations of Computer Science (pp. 177–186). Pittsburgh, PA, United States of America: IEEE.https://doi.org/10.1109/SFCS.1992.267774 
LibreCat: https://research-explorer.ista.ac.at/record/4594
DOI: 10.1109/SFCS.1992.267774