A HW/SW Architecture to Reduce the Effects of Soft-Errors in Real-Time Operating System Services | IEEE Conference Publication | IEEE Xplore