An Enhanced Test Case Selection Approach for Model-Based Testing: an Industrial Case Study