Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart. A Formal Approach to Constructing Secure Air Vehicle Software. IEEE Computer, 51(11):14-23, 2018. [doi]
Abstract is missing.