@phdthesis{Jobstm07b,
  author	= {Jobstmann, B.},
  title		= {Applications and Optimizations for {LTL} Synthesis},
  year		= {2007},
  month		= mar,
  school	= {Graz University of Technology},
  pdf		= {files/BJ-PhD_Thesis.pdf},
}