Computer-aided fault tree synthesis II. Fault tree construction · Study