Finding modules in fault trees | IEEE Journals & Magazine | IEEE Xplore