Figure 2: Model-based testing process (adapted from [6]).