@inproceedings{JDPJTW032011,
               author = {J. Behrend, D. Lettnin, P. Heckeler, J. Ruf, T. Kropf, W. Rosenstiel},
               title = {Scalable Hybrid Verification for Embedded Software},
               booktitle = {DATE '11: Proceedings of the conference on Design, Automation and Test in Europe},
               year = {2011},
               month = {03},
}