Integrated Modular Avionics safety analysis approach based on components | IEEE Conference Publication | IEEE Xplore