Integrating Product-Line Fault Tree Analysis into AADL Models | IEEE Conference Publication | IEEE Xplore