Behrmann, G.; Larsen, K. G.; Pearson, J.; Weise, C.; Yi, W. Efficient Timed Reachability Analysis Using Clock Difference Diagrams. BRICS 1998, 5.