Hi Shamil, in most cases each proposal of model-based testing technique uses a different prioritization mechanism. Moreover, some excerpts of the models are presented in the publications due to size limits, so it is difficult to fairly apply other prioritization and compare. I recommend you to create the UML models that you need to apply the model-based test case generation using different prioritization and then you can compare the prioritization in a controlled environment.