MILS virtualization for Integrated Modular Avionics
Software Considerations in Airborne Systems and Equip-ment Certification