DESS based Verification Tool for Cyber-Physical System