A linear-time algorithm to find modules of fault trees | IEEE Journals & Magazine | IEEE Xplore