Rules for modelling in computer aided fault tree synthesis | lit.salon