@inproceedings{SMAJLTW062009,
               author = {S. Lämmermann, M. Rathgeber, A. Jesser, J. Ruf, L. Hedrich, T. Kropf, W. Rosenstiel},
               title = {Checking Heterogeneous Signal Characteristics: Applying Assertion-Based Verification},
               booktitle = {Formal Verification of Analog Circuits at CAV'09 (FAC) },
               year = {2009},
               month = {06},
               address = {Grenoble, France}
}