Formal Construction of the Mathematically Analyzed Separation Kernel. - W. Martin; P. White; F. S. Taylor; A. Goldberg (ASE, 2000)

Creating High Confidence in a Separation Kernel. - W. B. Martin; P. D. White; F. S. Taylor (Autom. Softw. Eng., 2002)