@inproceedings {ASCONIKK2014_MolnarVoros,
	title = {Synchronous product automaton generation for controller optimization},
	booktitle = {ASCONIKK 2014: Extended Abstracts. I. Information Technologies for Logistic Systems},
	year = {2014},
	month = {12/2014},
	pages = {22-29},
	publisher = {University of Pannonia},
	organization = {University of Pannonia},
	address = {Veszpr{\'e}m, Hungary},
	isbn = {978-963-396-046-2},
	author = {Vince Moln{\'a}r and Andr{\'a}s V{\"o}r{\"o}s}
}
