@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} }