Model-Based Testing of Automotive HMIs with Consideration for Product Variability