@inproceedings{SARJLTW032009,
               author = {S. Lämmermann, A. Jesser, R. Weiss, J. Ruf, L. Hedrich, T. Kropf, W. Rosenstiel},
               title = {An Assertion-Based Verification Methodology for SystemC-AMS Designs},
               booktitle = {15th Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI)},
               year = {2009},
               month = {03},
               pages = {434-435},
               address = {Okinawa, Japan}
}