Probabilistic Common Cause Failure Modeling after the Introduction of Defense Mechanisms