An Efficient Algorithm for Finding Modules in Fault Trees