@inbook {6660,
	title = {Backward reachability analysis for timed automata with data variables},
	booktitle = {Proceedings of the 18th International Workshop on Automated Verification of Critical Systems},
	series = {Electronic Communications of the EASST},
	volume = {76},
	year = {2018},
	pages = {1-20},
	publisher = {EASST},
	organization = {EASST},
	address = {Oxford, England},
	doi = {10.14279/tuj.eceasst.76.1076},
	author = {Farkas Rebeka and Tam{\'a}s T{\'o}th and {\'A}kos Hajdu and Andr{\'a}s V{\"o}r{\"o}s}
}
