WCET-Aware Control Flow Checking With Super-Nodes for Resource-Constrained Embedded Systems