Foundations for Innovation in Cyber-Physical Systems