Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools | IEEE Conference Publication | IEEE Xplore