Alur, Rajeev, Thomas A Henzinger, and Howard Wong Toi. “Symbolic Analysis of Hybrid Systems.”https://doi.org/10.1109/CDC.1997.650717Â  __In Proceedings of the 36th IEEE Conference on Decision and Control, 702–7. IEEE, 1997.https://doi.org/10.1109/CDC.1997.650717Â   .
LibreCat: https://research-explorer.ista.ac.at/record/4605
DOI: 10.1109/CDC.1997.650717