@inproceedings{AJW2002,
               author = {A. Braun, J. Gerlach, W. Rosenstiel},
               title = {Checking Temporal Properties in SystemC Specifications},
               booktitle = {In Proceedings of High Level Design Validation and Test Workshop (HLDVT)},
               year = {2002},
}