Email Record: Transient fault modeling and fault injection simulation /