Control-Flow-Driven Source Level Timing Annotation for Embedded Software Models on Transaction Level | IEEE Conference Publication | IEEE Xplore