@techreport{Andronick_KM_12:tr,
    address          = {Sydney, Australia},
    author           = {Andronick, June and Klein, Gerwin and Murray, Toby},
    institution      = {NICTA},
    issn             = {1833-9646-6324},
    keywords         = {aoard, isabelle/hol, trustworthy systems},
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/6324.pdf},
    title            = {Formal System Verification for Trustworthy Embedded Systems, Final Report for {AOARD} Grant
                        \#{FA2386}-10-1-4105},
    year             = {2012}
  }