Greg Freeman, Don S. Batory, R. Greg Lavender, Jacob Neal Sarvela: Lifting transformational models of product lines: a case study. Softw. Syst. Model. 9(3): 359-373 (2010)