Optimizing Assume-Guarantee Contracts for Cyber-Physical System Design | IEEE Conference Publication | IEEE Xplore