Darius Grabowski Markus Olbrich Christoph Grimm Erich Barke Range Arithmetics to Speed up Reachability Analysis of Analog Systems. 38-43 2007 FDL conf/fdl/2007 db/conf/fdl/fdl2007.html#GrabowskiOGB07