Circuit design for reliability - Reis, Ricardo A. L. (Ricardo Augusto da Luz); Cao, Yu (Computer scientist); Wirth, Gilson (Springer New York, 2015)