Computer-aided Synthesis of Fault-trees | Synapse