Safety Assessment Process Optimization for Integrated Modular Avionics | IEEE Journals & Magazine | IEEE Xplore