Integrated Modular Avionics: Managing the Allocation of Shared Intersystem Resources | IEEE Conference Publication | IEEE Xplore