An Efficient Algorithm for Finding Modules in Fault Trees | IEEE Journals & Magazine | IEEE Xplore