Using an FPGA-based fault injection technique to evaluate software robustness under SEEs: A case study | Publicación