@inproceedings{Fehnker_HSR_07,
    author           = {Fehnker, Ansgar and Huuck, Ralf and Seefried, Sean and Rauch, Felix},
    booktitle        = {Proceedings of C/C++ Verification Workshop},
    month            = jul,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/131.pdf},
    publisher        = {Radboud University Nijmegen},
    title            = {Analysing Embedded System Software},
    year             = {2007}
  }