Behrmann, G. et al. 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.