Optimal Design of Configuration Scheme for Integrated Modular Avionics Systems With Functional Redundancy Requirements | IEEE Journals & Magazine | IEEE Xplore