Transitioning from federated avionics architectures to Integrated Modular Avionics | IEEE Conference Publication | IEEE Xplore