@inproceedings{Fehnker_HLRJ_07,
    author           = {Fehnker, Ansgar and Huuck, Ralf and Lussenburg, Michel and Rauch, Felix and Jayet, Patrick},
    booktitle        = {TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software
                        Engineering},
    month            = jun,
    pages            = {45--56},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/128.pdf},
    title            = {Model Checking Software at Compile Time},
    year             = {2007}
  }