Model-based dependability analysis of physical systems with Modelica