Multi-objective mapping optimization for distributed Integrated Modular Avionics | IEEE Conference Publication | IEEE Xplore