Behrmann, Gerd, et al. “Efficient Timed Reachability Analysis Using Clock Difference Diagrams”. BRICS Report Series, vol. 5, no. 47, June 1998, doi:10.7146/brics.v5i47.19492.