@inproceedings{langer:tautschnig:isola08,
  title = "Navigating the Requirements Jungle",
  author = "Boris Langer and Michael Tautschnig",
  year = "2008",
  address = "Porto Sani, Greece",
  booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
  editor = "Tiziana Margaria and Bernhard Steffen",
  isbn = "978-3-540-88478-1",
  month = "October",
  pages = "354--368",
  publisher = "Springer",
  series = "Communications in Computer and Information Science",
  volume = "17",
}