Fei Xin, Maciej J. Ciesielski, Ian G. Harris: Design validation of behavioral VHDL descriptions for arbitrary fault models. ETS 2005: 156-161