Integrating Product-Line Fault Tree Analysis into Aadl Models (2007)

by H Sun, M Hauptman, R Lutz
Venue:Proc. 10th IEEE International Symposium on High Assurance Systems Engineering, Dallas, TX, United states