@InProceedings{Nonnengart:IWPSS04-?,
  author =       "Andreas Nonnengart and Georg Rock and Werner Stephan",
  title =        "Verification Support Environment ({VSE})",
  booktitle =    "Proceedings of the 4th International Workshop on
                 Planning and Scheduling for Space (IWPSS'04)",
  address =      "ESA-ESOC, Darmstadt, Germany",
  year =         "2004",
  series =       "ESA-WPP",
  number =       "228",
  month =        jun,
  publisher =    "European Space Agency Publications Division",
  URL =          "http://www.verisoft.de/.rsrc/TeilProjekt1/vse-plan.pdf",
}