Title: Rules for modelling in computer aided fault tree synthesis