Software-Based Control Flow Checking Against Transient Faults in Industrial Environments | IEEE Journals & Magazine | IEEE Xplore