Library for fault Modelling in Modelica