SimPL: a Product-Line Modeling Methodology for Families of Integrated Control Systems