Testing of digital systems - Jha, N. K. 1960-; Gupta, S. 1962- (Cambridge University Press, 2003)