R. Farkas, T. Tóth, Ákos Hajdu, and A. Vörös, “Backward Reachability Analysis for Timed Automata with Data Variables”, eceasst, vol. 76, May 2019.