Automatic checking of logic design structures For compliance with testability ground rules. - Humbert C. Godoy; G. B. Franklin; Peter S. Bottorff (DAC, 1977)