Integrated Modular Avionics System Design Based on Formal Dynamic Organization | IEEE Conference Publication | IEEE Xplore