@techreport{Fernandez_AKK_15:tr,
    address          = {Sydney, Australia},
    author           = {Fernandez, Matthew and Andronick, June and Klein, Gerwin and Kuz, Ihor},
    institution      = {NICTA and UNSW},
    issn             = {1833-9646-9034},
    keywords         = {camkes, sel4, autocorres},
    month            = aug,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/9034.pdf},
    title            = {Automated Verification of a Component Platform},
    type             = {Technical Report},
    year             = {2015}
  }