Example fault trees