Modeling Cyber Physical Systems