Title: Rules for the computer-aided synthesis of fault trees