@inproceedings{FrankGrabmuellerHofstedtetal.2011, author = {Stephan Frank and Martin Grabm{\"u}ller and Petra Hofstedt and Dirk Kleeblatt and Peter Pepper}, title = {Safety of Compilers and Translation Techniques - Status quo of Technology and Science}, booktitle = {Automotive - Safety \& Security 2008 - Sicherheit und Zuverl{\"a}ssigkeit f{\"u}r automobile Informationstechnik, 19. und 20. November 2008, Stuttgart}, pages = {47 -- 62}, year = {2011}, }