Efficient Fault Injection Methods for Safety Software Testing Based on Virtual Prototypes: Application to Powertrain ECU Author(s): Ons Mbarek, Dineshkumar Selvaraj, and Romero Chica Jose Miguel Download