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