Certification concerns of Integrated Modular Avionics (IMA) systems | IEEE Conference Publication | IEEE Xplore