Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints

Figure 4

State machine representation using a loop, to go over the initializations when reading an event of type “event (1).”