Model-Based Testing gives the possibility to use models when evaluating requirements. These can be used as a evaluation option in the analysis phase, this in order to determine whether the requirements are fully covered in terms of functionality. But how you do you evaluate models? Because these models are the basis for the test cases [...]