Cyber-Physical Systems: A Model-Based Approach