@article{Klein_HS_09,
    author           = {Klein, Gerwin and Huuck, Ralf and Schlich, Bastian},
    journal          = {Journal of Automated Reasoning},
    month            = apr,
    number           = {2-4},
    pages            = {123--124},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/1811.pdf},
    title            = {Operating System Verification},
    volume           = {42},
    year             = {2009}
  }