Empirical comparison of software-based error detection and correction techniques for embedded systems | IEEE Conference Publication | IEEE Xplore