Behavioral Fault Modeling in a VHDL Synthesis Environment. - Ronald J. Hayne; Barry W. Johnson (VTS, 1999)