Asghari S, Taheri H, Pedram H, and Kaynak O, Software-based Control Flow Checking against Transient Faults in Industrial Environments, IEEE Trans. Industrial Informatics, 10, 1, 481-490, 2014