FEDC: Control Flow Error Detection and Correction for Embedded Systems without Program Interruption | IEEE Conference Publication | IEEE Xplore