Ronald J. Hayne, Barry W. Johnson: Behavioral Fault Modeling in a VHDL Synthesis Environment. VTS 1999: 333-340