@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},
}