@INPROCEEDINGS{StephanNonnengartRockESA01,
        AUTHOR             = {Werner Stephan and Andreas Nonnengart and Georg Rock},
        BOOKTITLE          = {Proceedings of the ESA Workshop on On-Board Autonomy, WPP-191},
        PAGES              = {447--454},
        PUBLISHER          = {European Space Agency, ESTEC Noordwijk, The Netherlands},
        TITLE              = {{Expressing Realtime Properties in VSE-II}},
        YEAR               = {2001}
}