Assessing fault model and test quality - Butler, Kenneth M. (The Kluwer International Series in Engineering and Computing. VLSI, Computer Architecture and Digital Signal Pr / Kluwer Academic Publishers., 1992)