@article{Cofer_GBWPFPKKAHS_18,
    author           = {Cofer, Darren and Gacek, Andrew and Backes, John and Whalen, Michael and Pike, Lee and Foltzer, Adam
                        and Podhradsky, Michael and Klein, Gerwin and Kuz, Ihor and Andronick, June and Heiser, Gernot and
                        Stuart, Douglas},
    date             = {2018-11-15},
    doi              = {https://doi.org/10.1109/MC.2018.2876051},
    issn             = {0018-9162},
    issue            = {11},
    journal          = {IEEE Computer},
    month            = nov,
    pages            = {14-23},
    paperurl         = {https://trustworthy.systems/publications/full_text/Cofer_GBWPFPKKAHS_18.pdf},
    publisher        = {IEEE},
    title            = {{A} Formal Approach to Constructing Secure Air Vehicle Software},
    volume           = {51},
    year             = {2018}
  }