NSF CPS: Provably Safe Automotive Cyber-Physical Systems with Humans-in-the-Loop