_id,doi,title
4613,10.1016/0304-3975(94)00202-T,The algorithmic analysis of hybrid systems