_id,doi,title
4536,DOI: 10.1007/11603009_13,Automatic rectangular refinement of affine hybrid systems