@inproceedings{SPJSTW032013,
               author = {S. Huster, P. Heckeler, J. Ruf, S. Burg, T. Kropf, W. Rosenstiel},
               title = {A Software Testing Framework to Integrate Formal Verification Results},
               booktitle = {16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen},
               publisher = {Universit├Ąt Rostock},
               year = {2013},
               month = {03},
               pages = {183-192},
               address = {Rostock}
}