- "General Avionics Software Specification," Locke et. al.
- "Commercial Off-The-Shelf (COTS) Avionics Software Study," Federal Aviation Administration
- "Product Focus: Software," Rosenberg
- "Formal Verification of Avionics Software Products," Souyris et. al.
- "Architecture of the Space Shuttle Primary Avionics Software System," Carlow et. al.
- "Model Extraction for ARINC 653 based Avionics Software," Camara et. al.
- "Design and Verification of Secure Systems," Rushby
- "Looking Back at the Bell-La Padula Model," Bell
- "Covert Timing Channel Analysis of Rate Monotonic Real-Time Scheduling Algorithm in MLS Systems," Son and Alves-Foss
- Covert Timing Channel Capacity of Rate-Monotonic Real-Time Scheduling Algorithm in MLS Systems," Son and Alves-Foss
- "A Formal Framework for Real-Time Information Flow Analysis," Son and Alves-Foss
- "Security FAQs," Wind River
- "Preemptive Scheduling of Multi-criticality Systems with Varying Degrees of Execution Time Assurance," Vestal
- "Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications," Baruah and Vestal
- "Mixed Criticality Real-Time Scheduling for Multicore Systems," Mollison et. al.
- "Designing Future Systems for Airworthiness Certification: A Look at Mixed Critical Architecture Requirements (MCAR)," Homan
- "Designing Future Systems for Airworthiness Certification: A Look at Mixed Critical Architecture Requirements (MCAR)," Homan
- "A Research Agenda for Mixed-Criticality Systems," Barhorst et. al.
- "On the Scheduling of Mixed-Criticality Real-Time Task Sets," de Niz et. al
- "Towards Safety Critical Middleware for Avionics Applications," Haverkamp et. al.
- "Fault-Tolerant Architectures for Space and Avionics Applications," Siewiorek et. al.
- "Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS," Owre et. al.
- "Design of a Fault-Tolerant COTS-Based Bus Architecture," Chau et. al.