Director%2C Analysis of Cyber-Physical Systems