An Assembler Driven Verification Methodology (ADVM). - John S. MacBeth; Dietmar Heinz; Ken Gray (DATE, 2004)

Enhancing Fault Emulation of Transient Faults by Separating Combinational and Sequential Fault Propagation. - Ralph Nyberg; Johann Heyszl; Dietmar Heinz; Georg Sigl (ACM Great Lakes Symposium on VLSI, 2016)