_id,doi,title
4565,10.1007/3-540-45873-5_13,A comparison of control problems for timed and hybrid systems