Behrmann, G., K. G. Larsen, J. Pearson, C. Weise, and W. Yi. “Efficient Timed Reachability Analysis Using Clock Difference Diagrams”. BRICS Report Series, vol. 5, no. 47, June 1998, doi:10.7146/brics.v5i47.19492.