Efficient Timed Reachability Analysis Using Clock Difference Diagrams.

Gerd Behrmann Kim Guldstrand Larsen Justin Pearson Carsten Weise Wang Yi Efficient Timed Reachability Analysis Using Clock Difference Diagrams. 341-353 http://dx.doi.org/10.1007/3-540-48683-6_30 1999 conf/cav/1999 CAV db/conf/cav/cav99.html#BehrmannLPWY99