SEARCH Articles Figures Tables Automated analysis Automated fault tree analysis model-based system Fault Tree Analysis Fault Tree Analysis analyses Fault analyses Fault tree Fault tree analysis automated system Tree analysis