BAFFI: a bit-accurate fault injector for improved dependability assessment of FPGA prototypes | Publicación