Early analysis of cyber-physical systems using co-simulation and multi-level modelling