Mobile Nav

A Model‐Based Systems Engineering Workflow for Development and Certification of an ARINC 653–Compliant Hypervisor