Redundant queuing system with unreliable servers · Study