Behrmann, G. (1998) “Efficient Timed Reachability Analysis using Clock Difference Diagrams”, BRICS Report Series, 5(47). doi: 10.7146/brics.v5i47.19492.