Design of Self-Checking Circuits Using DCVS Logic: A Case Study. - Nick Kanopoulos; Dimitris Pantzartzis; Frederick R. Bartram (IEEE Trans. Computers, 1992)