Analysis and randomized design of algorithm-based fault tolerant multiprocessor systems under an extended model | IEEE Journals & Magazine | IEEE Xplore