Modeling Common Cause Failures in Systems with Triple Modular Redundancy and Repair