Behrmann, Gerd, Kim G. Larsen, Justin Pearson, Carsten Weise, og Wang Yi. “Efficient Timed Reachability Analysis Using Clock Difference Diagrams”. BRICS Report Series 5, no. 47 (juni 17, 1998). Set december 6, 2025. https://tidsskrift.dk/brics/article/view/19492.