@techreport{Cofer_BGDWKKHPFPSGW_17:tr,
    author           = {Cofer, Darren and Backes, John and Gacek, Andrew and DaCosta, Daniel and Whalen, Michael and Kuz,
                        Ihor and Klein, Gerwin and Heiser, Gernot and Pike, Lee and Foltzer, Adam and Podhradsky, Michael
                        and Stuart, Douglas and Graham, Jason and Wilson, Brett},
    date             = {2017-9-27},
    institution      = {Data61, CSIRO},
    month            = sep,
    numpages         = {314},
    paperurl         = {https://trustworthy.systems/publications/full_text/Cofer_BGDWKKHPFPSGW_17%3Atr.pdf},
    publisher        = {USA Department of Defence},
    title            = {Secure Mathematically-Assured Composition of Control Models},
    year             = {2017}
  }