Qualitative reliability analysis of software-controlled systems using state/event fault treesMichael RothÉpuiséPrévenez-moi