Using an FPGA-based fault injection technique to evaluate software robustness under SEEs: A case study | IEEE Conference Publication | IEEE Xplore