An introduction to logic circuit testing - Lala, Parag L. (Synthesis lectures on digital circuits and systems, 2009)