Fault Propagation for Single Fault Source in Avionics | IEEE Conference Publication | IEEE Xplore