Problem Detection in Real-Time Systems by Trace Analysis

Figure 11

Control Flow View showing the preemption of the timer thread.