Text this: Model-Based Dependability Analysis of Physical Systems with Modelica