_id,doi,title
4513,10.1007/978-3-642-59615-5,The theory of hybrid automata