@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} }