Methoden zur Beschleunigung der automatischen Testmustergenerierung und Fehlersimulation für synchrone sequentielle Schaltungen. - Mihrdad Mugtahidi (1994)