Design of testable logic circuits. - Bennetts R G (1984)