Migration of Integrated Modular Avionics to space | IEEE Conference Publication | IEEE Xplore