Diffusion limits for shortest remaining processing time queues · Study