Visible to the public CPS: Medium: GOALI: Design Automation for Automotive Cyber-Physical Systems