A survey of model-driven techniques and tools for cyber-physical systems. - Bo Liu 033; Yuan-rui Zhang; Xuelian Cao; Yu Liu; Bin Gu; Tie-xin Wang (Frontiers Inf. Technol. Electron. Eng., 2020)