MARS-S: Modeling and Reduction of Soft Errors in Sequential Circuits | IEEE Conference Publication | IEEE Xplore