The gi/m/1 processor-sharing queue and its heavy traffic analysis · Study