Model-based Construction and Verification of Cyber-Physical Systems. - Bu, Lei; Zhang, Tian; Chen, Xin; Wang, Linzhang; Zhao, Jianhua; Li, Xuandong (ACM SIGSOFT Softw. Eng. Notes, 2018)