A case study of C.mmp, Cm*, and C.vmp: Part I—Experiences with fault tolerance in multiprocessor systems | IEEE Journals & Magazine | IEEE Xplore