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