An Efficient Simple Algorithm for the Automatic Synthesis of Fault Trees