Computer aided synthesis of fault-trees · Study