Henzinger TA. 2000.The theory of hybrid automata. In: Verification of Digital and Hybrid Systems. NATO ASI Series F: Computer and Systems Sciences, vol. 170, 265–292.
LibreCat: https://research-explorer.ista.ac.at/record/4513
DOI: 10.1007/978-3-642-59615-5