Dependability analysis of a fault-tolerant processor | IEEE Conference Publication | IEEE Xplore