On the use of debug and test infrastructures for validating microprocessor based dependable systems through fault injection - André Vaz Fidalgo (2005)