Modelling and using product line variability in automotive systems | IEEE Journals & Magazine | IEEE Xplore