Dynamic analysis of Cyber-Physical Systems