Parallel processing of fault trees on a locally distributed multiple-processor network | IEEE Journals & Magazine | IEEE Xplore