Srinivas Devadas: Delay Test Generation for Synchronous Sequential Circuits. ITC 1989: 144-152