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