@inproceedings{JMTW2000,
               author = {J. Ruf, M. Hoffmann, T. Kropf, W. Rosenstiel},
               title = {Simulation Based Validation of FLTL Formulas in Executable System Descriptions},
               booktitle = {Forum on Design Languages (FDL)},
               year = {2000},
}