@INPROCEEDINGS{StephanRockNonnengartFMTOOLS2000,
        AUTHOR             = {Stephan, Werner and Rock, Georg and Nonnengart, Andreas},
        BOOKTITLE          = {Proceedings of the 4th Workshop on Tools for
                              System Design and Verification},
        EDITOR             = {Gerhard Schellhorn and Wolfgang Reif},
        PAGES              = {41--45},
        PUBLISHER          = {Universit{\"a}t Ulm, Ulmer Informatik-Berichte},
        TITLE              = {Modelling Realtime in {VSE-II}},
        YEAR               = {2000}
}