An efficient control-flow checking technique for the detection of soft-errors in embedded software. - Tahereh Boroomandnezhad; Mohammad Abdollahi Azgomi (Comput. Electr. Eng., 2013)