@inproceedings {6545,
	title = {Towards Reliable Benchmarks of Timed Automata},
	booktitle = {Proceedings of the 25th PhD Mini-Symposium},
	year = {2018},
	publisher = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	organization = {Budapest University of Technology and Economics, Department of Measurement and Information Systems},
	author = {Farkas Rebeka and G{\'a}bor Bergmann},
	editor = {Pataki, B{\'e}la}
}
