In the development of cyber physical systems (CPS), dependability studies are usually performed long after the design phase: if serious problems are discovered, the redesign of the system can result in very high costs and delays. Also, CPS dependability is often influenced by physical conditions, in particular during exceptional situa-tions which may be hard to fully understand without physical simulation.