Liqian Chen Antoine Miné Ji Wang Patrick Cousot Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships. 309-325 2009 SAS http://dx.doi.org/10.1007/978-3-642-03237-0_21 conf/sas/2009 db/conf/sas/sas2009.html#ChenMWC09