Injecting intermittent faults for the dependability validation of commercial microcontrollers | Publicación