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). doi: 10.7146/brics.v5i47.19492.