Modeling and verifying intelligent automotive cyber-physical systems