A Model-Based Software Development Method for Automotive Cyber-Physical Systems Zhigang Gao; Haixia Xia; Guojun Dai — 2011 Computer Science and Information Systems