ED/sup 4/I: error detection by diverse data and duplicated instructions | IEEE Journals & Magazine | IEEE Xplore