@techreport{Andronick_BK_12:tr,
    title            = {Final Report for {AOARD} Grant \#{FA2386}-11-1-4070, Formal System Verification --- Extension},
    month            = oct,
    keywords         = {sel4, isabelle/hol, system initialisation},
    institution      = {NICTA},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6408.pdf},
    author           = {Andronick, June and Boyton, Andrew and Klein, Gerwin},
    issn             = {1833-9646-6408},
    year             = {2012},
    address          = {Sydney, Australia}
  }