@Inproceedings{vonessenJ12,
   joint-pub = {false},
   status = {public},
   link = {http://www-verimag.imag.fr/~jobstman/bib/files/efficiency.pdf},
   task = {T5.1},
   doi = {10.1007/978-3-642-27940-9_28},
   booktitle = {International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)},
   year = {2012},
   invited = {no},
   timestamp = {2013.11.07},
   main = {yes},
   accessible = {true},
   title = {{Synthesizing Efficient Controllers}},
   author = {Christian von Essen and Barbara Jobstmann},
   ee = {http://dx.doi.org/10.1007/978-3-642-27940-9_28},
   period = {year2},
   owner = {kroiss},
   bibsource = {DBLP, http://dblp.uni-trier.de},
   ascens_ref = {true},
   partner = {Verimag},
   wp = {WP5},
   pages = {428-444}
}