Design of fully testable circuits by functional decomposition and implicit test pattern generation. - Bernd Steinbach; M. Stöckert (VTS, 1994)