@inproceedings{ASARJWLTW102007,
               author = {A. Jesser, S. Lämmermann, A. Pacholik, R. Weiss, J. Ruf, W. Fengler, L. Hedrich, T. Kropf, W. Rosenstiel},
               title = {Analog Simulation Meets Digital Verification - A Formal Assertion Approach for Mixed-Signal Verification},
               booktitle = {14. Workshop on Synthesis And System Integration of Mixed Information technologies (SASIM)},
               year = {2007},
               month = {10},
               pages = {507-514},
               address = {Sapporo, Japan}
}