Behrmann, G., Larsen, K.G., Pearson, J., Weise, C. and Yi, W. 1998. Efficient Timed Reachability Analysis using Clock Difference Diagrams. BRICS Report Series. 5, 47 (Jun. 1998). DOI:https://doi.org/10.7146/brics.v5i47.19492.