@inproceedings{SJTW122009,
               author = {S. Lämmermann, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Assertion-based Analog Mixed-Signal Verification},
               booktitle = {IP - Embedded Systems Conference 2009 (IP-ESC`09)},
               year = {2009},
               month = {12},
}