Henzinger, T. A. (2000). The theory of hybrid automata. In M. Inan &; R. Kurshan (Eds.), Verification of Digital and Hybrid Systems (Vol. 170, pp. 265–292). Springer.https://doi.org/10.1007/978-3-642-59615-5