Kwang-Ting Cheng Vishwani D. Agrawal Ernest S. Kuh A sequential circuit test generation using threshold-value simulation. 24-29 1988 FTCS http://dx.doi.org/10.1109/FTCS.1988.5292 conf/ftcs/1988 db/conf/ftcs/ftcs1988.html#ChengAK88