Qualitative reliability analysis of software-controlled systems using state/event fault treesMichael RothEsaurito4,3Avvisami