An evaluation of lazy fault detection based on Adaptive Redundant Multithreading | IEEE Conference Publication | IEEE Xplore