@techreport{Andronick_Klein_11:tr,
    address          = {Sydney, Australia},
    author           = {Andronick, June and Klein, Gerwin},
    institution      = {NICTA},
    issn             = {1833-9646-5614},
    month            = apr,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5614.pdf},
    title            = {Formal System Verification for Trustworthy Embedded Systems, Final Report {AOARD} 094160},
    type             = {Technical Report},
    year             = {2011}
  }