@article{PHTBJSSW092013,
         author = {P. Heckeler, H. Eichelberger, T. Kropf, B.Schlich, J. Ruf, S. Huster, S. Burg, W. Rosenstiel},
         title = {Accelerated Model-Based Robustness Testing of State Machine Implementations},
         journal = {ACM Applied Computing Review},
         year = {2013},
         month = {09},
         volume = {13},
         number = {03},
         pages = {50--67},
}