A study of the effects of transient fault injection into the VHDL model of a fault-tolerant microcomputer system | Publicación