Tóth, Majzik, 2018. Lazy Reachability Checking for Timed Automata with Discrete Variables, in: . Springer International Publishing.. https://doi.org/10.1007/978-3-319-94111-0_14