A Two-Phase Multiobjective Local Search for the Device Allocation in the Distributed Integrated Modular Avionics | IEEE Journals & Magazine | IEEE Xplore