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