Research Article
Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints
Figure 22
Time (in s) to build the instances and check their constraints, as a function of the number and categories of constraints between two states.