Modeling Cyber Physical Systems Examples