Model-based testing of automotive HMIs with consideration for product variability - Duan, Linshu (Cuvillier, E, 2012)