Modeling and Security Analysis of a Commercial Real-Time Operating System Kernel. - Raymond J. Richards (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010)

Formal Verification of Partition Management for the AAMP7G Microprocessor. - Matthew Wilding; David A. Greve; Raymond J. Richards; David S. Hardin (Design and Verification of Microprocessor Systems for High-Assurance Applications, 2010)