Developing a Software Product Line for Train Control: A Case Study of CVL