Computerized Fault Tree Analysis: TREEL and MICSUP. · Study