@inproceedings{westhofen2020benchmarking,Author = {Westhofen, Lukas and Berger, Philipp and Katoen, Joost-Pieter},Title = {Benchmarking Software Model Checkers on Automotive Code},Year = {2020},Publisher = {Springer International Publishing},Booktitle = {NASA Formal Methods},Url = {https://arxiv.org/abs/2003.11689},type = {inproceedings}}@COMMENT{Bibtex file generated on }