Model-Based Failure Propagation Analysis and Automated Fault Tree Generation: Methodology and Application in Complex Avionics System | IEEE Conference Publication | IEEE Xplore