Using VHDL-based fault injection to exercise error detection mechanisms in the time-triggered architecture | Publicación