Freeze!: A New Approach for Testing Sequential Circuits. - Miron Abramovici; Krishna B. Rajan; David T. Miller (DAC, 1992)

Increasing testability by clock transformation (getting rid of those darn states). - Krishna B. Rajan; David E. Long; Miron Abramovici (VTS, 1996)