@inproceedings{RJJTW2005,
               author = {R. J. Weiss, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Efficient and customizable integration of temporal properties into systemc},
               booktitle = {Forum on Specification and Design Languages (FDL)},
               year = {2005},
}