A Decomposition-Based Development Method for Industrial Control Systems. - Xiong, Jiawen; Li, Ju; Shi, Jianqi; Huang, Yanhong (IEEE Access, 2019)