Daniel C. Lee Daniel P. Siewiorek Functional Test Generation for Pipelined Computer Implementations. 60-69 1991 FTCS db/conf/ftcs/ftcs91.html#LeeS91