Computing platforms and engineering services for cyber-physical systems.