{Linking Model-Based Safety Analysis to Fault Injection and Simulation in Virtual Prototypes}