Library for fault modelling in Modelica