Same Example Modeled with RBDs an Fault Trees