Yoshihiro Kitamura: Sequential Circuit Fault Simulation by Fault Information Tracing Algorithm: FIT. DAC 1991: 151-154