Digital Systems Testing & Testable Design - Abranovici,M (Mumbai Jaico Publication, 2002)