Testing of Digital Systems – N. K. Jha, S. Gupta