Large-Scale Model-Based Avionics Architecture Optimization Methods and Case Study | IEEE Journals & Magazine | IEEE Xplore