SMS dit: Cyber-Physical Systems: A Model-Based Approach