Safety evaluation based on virtual prototypes: Fault injection with multi-level processor models.