The broadcast comparison model for on-line fault diagnosis in multicomputer systems: theory and implementation | IEEE Journals & Magazine | IEEE Xplore