Behrmann, Gerd, Kim G. Larsen, Justin Pearson, Carsten Weise, and Wang Yi. 1998. “Efficient Timed Reachability Analysis Using Clock Difference Diagrams”. BRICS Report Series 5 (47). https://doi.org/10.7146/brics.v5i47.19492.