Digital circuit testing and testability - Lala, Parag K. (Academic Press, 1997)