Bit flip injection in processor-based architectures: a case study