@inproceedings{SRJTW022006,
               author = {S. Lämmermann, R. Weiss, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Automatische Eigenschaftsextraktion auf Systemebene aus SystemC Modellen},
               booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
               year = {2006},
               month = {02},
               pages = {222-226},
               address = {Dresden, Germany}
}