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

Figure 3

State machine representation with multiple next states for state “.”