An introduction to logic circuit testing - Lala, Parag L. (Morgan and Claypool, 2009)