@inproceedings{JMTW2000,
               author = {J. Ruf, M. Hoffmann, T. Kropf, W. Rosenstiel},
               title = {Checking Temporal Properties under Simulation of Executable Specifications},
               booktitle = {Proceedings of Workshop on High Level Design, Validation and Test (HLDVT)},
               year = {2000},
}