Time in Cyber-Physical Systems Specifications, Modeling and Measurements