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