Fault Injection into VHDL Models: Experimental Validation of a Fault-Tolerant Microcomputer System | Publicación