@inproceedings{032014,
               author = {Stefan Huster and Merdin Macic and Sebastian Burg and Hanno Eichelberger and Patrick Heckeler and J├╝rgen Ruf and Thomas Kropf and Wolfgang Rosenstiel},
               title = {Increasing Software Reliability by Integrating Formal Verification and Robustness Testing.},
               booktitle = {MBMV},
               year = {2014},
               month = {03},
               pages = {125-136},
}