Analytical Techniques for Soft Error Rate Modeling and Mitigation of FPGA-Based Designs | IEEE Journals & Magazine | IEEE Xplore