Safety-Based Software Reconfiguration Method for Integrated Modular Avionics Systems in AADL Model | IEEE Conference Publication | IEEE Xplore