publication venue for Device-level transient fault modeling 1994 Checking linked data structures 1994 A fast and accurate gate-level transient fault simulation environment 1993 Wear-out simulation environment for VLSI designs 1993 Gracefully degradable disk arrays 1991