Preferred choice for resource efficiency: Integrated Modular Avionics versus federated avionics | IEEE Conference Publication | IEEE Xplore