_id,doi,title
4598,10.1109/5.871304 ,Discrete abstractions of hybrid systems