Srinivas Devadas Kurt Keutzer Synthesis of robust delay-fault-testable circuits: theory. 87-101 1992 11 IEEE Trans. on CAD of Integrated Circuits and Systems 1 http://doi.ieeecomputersociety.org/10.1109/43.108622 db/journals/tcad/tcad11.html#DevadasK92