Conditioned Response-Time Distribution for a Large Closed Processor-Sharing System in Very Heavy Usage · Study