Behrmann, Gerd, Kim G. Larsen, Justin Pearson, Carsten Weise, and Wang Yi. “Efficient Timed Reachability Analysis Using Clock Difference Diagrams”. BRICS Report Series 5, no. 47 (June 17, 1998). Accessed March 28, 2024. https://tidsskrift.dk/brics/article/view/19492.