ARINC 653 role in Integrated Modular Avionics (IMA) | IEEE Conference Publication | IEEE Xplore