_id,doi,title
4617,10.1007/BFb0033565,The algorithmic analysis of hybrid systems