CPS: Medium: GOALI: Design Automation for Automotive Cyber-Physical Systems Submitted by Anonymous on Thu, 09/09/2021 - 17:57 Short Talk 2038960 CPS PI Meeting 2021 NSF