Jomaa, Narjes, et al. “Proof-Oriented Design of a Separation Kernel With Minimal Trusted Computing Base”. Electronic Communications of the EASST, vol. 76, May 2019, doi:10.14279/tuj.eceasst.76.1080.