A systematic fault-tolerant computational model for both crash failures and silent data corruption | IEEE Conference Publication | IEEE Xplore