Abdoulaye Gamatié Thierry Gautier Loïc Besnard An Interval-Based Solution for Static Analysis in the SIGNAL Language. 182-190 2008 ECBS http://doi.ieeecomputersociety.org/10.1109/ECBS.2008.18 conf/ecbs/2008 db/conf/ecbs/ecbs2008.html#GamatieGB08