Testmustergenerierung und Fehlersimulation in digitalen Schaltungen mit hoher Komplexität - Schulz, Michael H. (Springer, 1988)