Large-Scale Model-Based Avionics Architecture Optimization Methods and Case Study. - Björn Annighöfer; Ernst Kleemann (IEEE Trans. Aerosp. Electron. Syst., 2019)