Stability of Redundancy Systems with Processor Sharing · Study