Farkas, R.; Tóth, T.; Hajdu, Ákos; Vörös, A. Backward Reachability Analysis for Timed Automata With Data Variables. eceasst 2019, 76.