On the Influence of Model Structure and Test Case Profile on the Prioritization of Test Cases in the Context of Model-Based Testing | IEEE Conference Publication | IEEE Xplore