Computer-aided Synthesis of Fault-trees · Study