_id,doi,title
4618,10.1007/3-540-57318-6_30,Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems