@INPROCEEDINGS{NonnengartRockStephanFLAIRS01,
        AUTHOR             = {Andreas Nonnengart and Georg Rock and Werner Stephan},
        BOOKTITLE          = {Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference},
        EDITOR             = {Ingrid Russel and John Kolen},
        PAGES              = {640--644},
        PUBLISHER          = {AAAI Press, Menlo Park, California, USA},
        TITLE              = {Using Hybrid Automata to Express Realtime Properties in VSE-II},
        YEAR               = {2001}
}