Computational Tools For Cyber-Physical Systems