@inproceedings{SAAJLTW032010,
               author = {S. Lämmermann, A. Jesser, A. Viehl, J. Ruf, L. Hedrich, T. Kropf, W. Rosenstiel},
               title = {Towards Assertion-Based Verification of Heterogeneous System Designs},
               booktitle = {Design, Automation and Test in Europe (DATE'10)},
               year = {2010},
               month = {03},
               pages = {1171-1176},
}