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