@inproceedings{MoSL08,
  key         ={MoSL08},
  author      ={A. Morgenstern and K. Schneider and S. Lamberti},
  title       ={Generating Deterministic $\omega$-Automata for most {LTL} Formulas by the Breakpoint Construction},
  booktitle   ={Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
  address     ={Freiburg, Germany},
  editor      ={C. Scholl and S. Disch},
  publisher   ={Shaker},
  pages       ={119-128},
  year        ={2008},
  remark      ={rsg}
}