Alur R, Courcoubetis C, Henzinger TA, Ho P. 1993. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. Hybrid Systems. , LNCS, vol. 736, 209–229.
LibreCat: https://research-explorer.ista.ac.at/record/4618
DOI: 10.1007/3-540-57318-6_30

Alur R, Henzinger TA, Ho P. 1993. Automatic symbolic verification of embedded systems. 1993 Proceedings Real-Time Systems Symposium. RTSS: Real-Time Systems Symposium, 2–11.
LibreCat: https://research-explorer.ista.ac.at/record/4616
DOI: 10.1109/REAL.1993.393520 

Alur R, Courcoubetis C, Henzinger TA. 1993. Computing accumulated delays in real-time systems. 5th International Conference on Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 697, 181–193.
LibreCat: https://research-explorer.ista.ac.at/record/4620
DOI: 10.1007/3-540-56922-7_16

Alur R, Henzinger TA, Vardi M. 1993. Parametric real-time reasoning. Proceedings of the 25th annual ACM symposium on Theory of Computing. STOC: Symposium on the Theory of Computing, 592–601.
LibreCat: https://research-explorer.ista.ac.at/record/4619
DOI: 10.1145/167088.167242