• "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.