@inproceedings{nonnengart_IWPSS04,
	author = {Andreas Nonnengart and Georg Rock and Werner Stephan},
	title = {{VSE - Verification Support Environment}},
	booktitle = {Proceedings of the 4$^{th}$ International Workshop on Planning and Scheduling for Space},
	month = {June},
	pages ={367-368},
	year = {2004}
}