SRPT Scheduling Discipline in Many-Server Queues with Impatient Customers · Study