CPS: Medium: GOALI: Design Automation for Automotive Cyber-Physical Systems Submitted by Jason Gigax on Thu, 01/12/2023 - 15:48 2038960 2022 CPS PI Meeting 2022