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