Approximate fault-tree analysis without cut sets · Study