Henzinger, Thomas A. “The Theory of Hybrid Automata.”https://doi.org/10.1007/978-3-642-59615-5__In Verification of Digital and Hybrid Systems, edited by M. Inan and Robert Kurshan, 170:265–92. Springer, 2000.https://doi.org/10.1007/978-3-642-59615-5 .