@inproceedings {6148,
	title = {Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata},
	booktitle = {23rd Minisymposium of the Department of Measurement and Information Systems},
	year = {2016},
	month = {2016},
	address = {Budapest},
	author = {Farkas Rebeka and Andr{\'a}s V{\"o}r{\"o}s}
}
