Alur, Rajeev, Costas Courcoubetis, Thomas A Henzinger, and Pei Ho. “Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems.”https://doi.org/10.1007/3-540-57318-6_30__In Hybrid Systems, edited by Robert Grossman, Anil Nerode, Anders Ravn, and Hans Rischel, 736:209–29. Springer, 1993.https://doi.org/10.1007/3-540-57318-6_30 .

Alur, Rajeev, Thomas A Henzinger, and Pei Ho. “Automatic Symbolic Verification of Embedded Systems.”https://doi.org/10.1109/REAL.1993.393520 __In 1993 Proceedings Real-Time Systems Symposium, 2–11. IEEE, 1993.https://doi.org/10.1109/REAL.1993.393520  .

Alur, Rajeev, Costas Courcoubetis, and Thomas A Henzinger. “Computing Accumulated Delays in Real-Time Systems.”https://doi.org/10.1007/3-540-56922-7_16__In 5th International Conference on Computer Aided Verification, 697:181–93. Springer, 1993.https://doi.org/10.1007/3-540-56922-7_16 .

Alur, Rajeev, Thomas A Henzinger, and Moshe Vardi. “Parametric Real-Time Reasoning.”https://doi.org/10.1145/167088.167242__In Proceedings of the 25th Annual ACM Symposium on Theory of Computing, 592–601. ACM, 1993.https://doi.org/10.1145/167088.167242 .