@inproceedings{MJTW2000,
               author = {M. Hoffmann, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Simulation Meets Verification – Checking Temporal Properties in SystemC1},
               booktitle = {Proceedings of the Symposium on Digital Systems Design (DSD)},
               year = {2000},
}