Vulnerability Analysis of Cyber-Physical Systems