Aceto, L., Burgueno, A. and Larsen, K. G. (1997) “Model Checking via Reachability Testing for Timed Automata”, BRICS Report Series, 4(29). doi: 10.7146/brics.v4i29.18955.