Integrating Product-Line Fault Tree Analysis into AADL Models. - Hongyu Sun 001; Miriam Hauptman; Robyn R. Lutz (HASE, 2007)