Henzinger TA, Manna Z, Pnueli A. What good are digital clocks? In: 19th International Colloquium on Automata, Languages and Programming. Vol 623. Springer; 1992:545-558. doi: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 TA, Manna Z, Pnueli A. Timed transition systems. In: Real Time: Theory in Practice. Vol 600. Springer; 1992:226-251. doi:10.1007/BFb0031995
LibreCat: https://research-explorer.ista.ac.at/record/4507
DOI: 10.1007/BFb0031995

Henzinger TA. Sooner Is Safer Than Later. Information Processing Letters. 1992;43(3):135-141. doi: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 TA. Logics and models of real time: A survey. In: REX Workshop on Real Time: Theory in Practice. Vol 600. Springer; 1992:74-106. doi:10.1007/BFb0031984
LibreCat: https://research-explorer.ista.ac.at/record/4593
DOI: 10.1007/BFb0031984

Alur R, Henzinger TA. Back to the future: Towards a theory of timed regular languages. In: Proceedings of the 33rd Annual Symposium on Foundations of Computer Science. IEEE; 1992:177-186. doi:10.1109/SFCS.1992.267774
LibreCat: https://research-explorer.ista.ac.at/record/4594
DOI: 10.1109/SFCS.1992.267774