Nick Kanopoulos Dimitris Pantzartzis Frederick R. Bartram Design of Self-Checking Circuits Using DCVS Logic: A Case Study. 891-896 1992 41 IEEE Trans. Computers 7 db/journals/tc/tc41.html#KanopoulosPB92