@InProceedings{vEJ12,
author={Christian von Essen and Barbara Jobstmann},
title={Synthesizing Efficient Controllers},
booktitle={Proc. 13th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'12)},
year={2012},

editor={},
pages={428--444},
organization={},
publisher={Springer},
series={LNCS},
volume={7148},
address={},
month={},
note={},
key={}
}