Testing of digital systems - Jha, Niraj K. (Cambridge University Press, 2003)