DOI,IST REx ID,Title of publication
10.1007/3-540-57318-6_30,4618,Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems