Henzinger, Thomas A, Benjamin Horowitz, Ritankar Majumdar, and Howard Wong Toi. “Beyond HyTech: Hybrid Systems Analysis Using Interval Numerical Methods.”https://doi.org/10.1007/3-540-46430-1_14__In Proceedings of the 3rd International Workshop on Hybrid Systems, 1790:130–44. Springer, 2000.https://doi.org/10.1007/3-540-46430-1_14 .
LibreCat: https://research-explorer.ista.ac.at/record/4481
DOI: 10.1007/3-540-46430-1_14

Henzinger, Thomas A, and Jean Raskin. “Robust Undecidability of Timed and Hybrid Systems.”https://doi.org/10.1007/3-540-46430-1_15__In Proceedings of the 3rd International Workshop on Hybrid Systems, 1790:145–59. Springer, 2000.https://doi.org/10.1007/3-540-46430-1_15 .
LibreCat: https://research-explorer.ista.ac.at/record/4434
DOI: 10.1007/3-540-46430-1_15