Henzinger, Thomas A, Zohar Manna, and Amir Pnueli. “What Good Are Digital Clocks?”https://doi.org/10.1007/3-540-55719-9_103__In 19th International Colloquium on Automata, Languages and Programming, 623:545–58. Springer, 1992.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, Thomas A, Zohar Manna, and Amir Pnueli. “Timed Transition Systems.”https://doi.org/10.1007/BFb0031995__In Real Time: Theory in Practice, 600:226–51. Springer, 1992.https://doi.org/10.1007/BFb0031995 .
LibreCat: https://research-explorer.ista.ac.at/record/4507
DOI: 10.1007/BFb0031995

Henzinger, Thomas A. “Sooner Is Safer Than Later.”https://doi.org/10.1016/0020-0190(92)90005-G__Information Processing Letters. Elsevier, 1992.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, Rajeev, and Thomas A Henzinger. “Logics and Models of Real Time: A Survey.”https://doi.org/10.1007/BFb0031984__In REX Workshop on Real Time: Theory in Practice, 600:74–106. Springer, 1992.https://doi.org/10.1007/BFb0031984 .
LibreCat: https://research-explorer.ista.ac.at/record/4593
DOI: 10.1007/BFb0031984

Alur, Rajeev, and Thomas A Henzinger. “Back to the Future: Towards a Theory of Timed Regular Languages.”https://doi.org/10.1109/SFCS.1992.267774__In Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, 177–86. IEEE, 1992.https://doi.org/10.1109/SFCS.1992.267774 .
LibreCat: https://research-explorer.ista.ac.at/record/4594
DOI: 10.1109/SFCS.1992.267774