@techreport{JRDVSTW2006,
            author = {Ruf, J., Weiss, R., Lettnin, D. V., Lämmermann, S., Kropf, T., Rosenstiel, W.},
            title = {SystemC Temporal Checker},
            institution = {Tübingen: Department of Computer Engineering},
            year = {2006},
}