@inproceedings{giannakopoulou02from,
  author = "Dimitra Giannakopoulou and Flavio Lerda",
  title = "From States to Transitions: Improving Translation of {LTL} Formulae to {B}uchi Automata",
  booktitle="Proc. of 22rd {IFIP} International Conference on Formal Techniques for Networked and Distributed Systems",
  year = 2002
}