Fehlermodelle für höhere Hardware-Beschreibungen beim Entwurf grosser VLSI-Chips. - Klaus-Peter A. Wachsmann (1994)