Analysis of Cyber-Physical Systems