@inproceedings{ASARJWLTW122008,
               author = {A. Jesser, S. Laemmermann, A. Pacholik, R. Weiss, J. Ruf, W. Fengler, L. Hedrich, T. Kropf, W. Rosenstiel},
               title = {Advanced Assertion Based Design for Mixed-Signal Verification},
               booktitle = {IEICE TRANS. FUNDAMENTALS: Special Section on VLSI Design and CAD Algorithms},
               year = {2008},
               month = {12},
               volume = {E91–A},
               number = {12},
               pages = {3548-3555},
}