AADL+: a simulation-based methodology for cyber-physical systems