Cyber Physical Systems. Model-Based Design