Testing of Digital Systems - Jha, Niraj K. (Cambridge University)