Integrated Modular Avionics Fault Propagation Model Establishment and Reliability Allocation | IEEE Conference Publication | IEEE Xplore