_id,doi,title
4429,10.1007/3-540-64358-3_40,Reachability verification for hybrid automata