Design and Evaluation of a Hardware on-line Program-Flow Checker for Embedded Microcontrollers | IEEE Conference Publication | IEEE Xplore