_id,doi,title
4420,10.1007/3-540-58468-4_177,Proving safety properties of hybrid systems