G. Behrmann, K. G. Larsen, J. Pearson, C. Weise, and W. Yi, “Efficient Timed Reachability Analysis using Clock Difference Diagrams”, BRICS, vol. 5, no. 47, Jun. 1998.