@inproceedings{HPSSJTWB032013,
               author = { H. Eichelberger, P. Heckeler, S. Huster, S. Burg, J. Ruf, T. Kropf, W. Rosenstiel, B. Schlich},
               title = {Beschleunigte Robustheitstests für verhaltensbeschreibende Zustandsmaschinen},
               booktitle = {16. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)},
               publisher = {Universität Rostock},
               year = {2013},
               month = {03},
               pages = {161-170},
}