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