Fault tree analysis of computer systems