Design of testable logic circuits - Bennetts, R G (Addison-Wesley, 1984)