ICT-01-2019 Computing technologies and engineering methods for cyber-physical systems of systems