[1]
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.