Real-time trust with 'System Build': lessons learned. - Mary M. Bernstein; Terry C. Vickers Benzel (ACSAC, 1993)

AOS: an avionics operating system for multi-level secure real-time environments. - Mary M. Bernstein; Chulsoo Kim (ACSAC, 1994)