Guidelines for Implementing Control Flow Checking into Automotive Embedded Applications Developed with C Language | IEEE Conference Publication | IEEE Xplore