@inproceedings{Jobstm06c,
  author	= {Jobstmann, B. and Bloem, R.},
  title		= {Optimizations for {LTL} Synthesis},
  booktitle	= {Conference on Formal Methods in Computer Aided Design (FMCAD)},
  year		= {2006},
  pages		= {117--124},
  pdf		= {files/ltl.pdf},
}