A virtualized separation kernel for mixed criticality systems
Integrated Modular Avionics: Managing the Allocation of Shared Intersystem Resources