Managing the Life-cycle of Industrial Automation Systems with Product Line Variability Models | IEEE Conference Publication | IEEE Xplore