On the Remaining Service Time upon Reaching a Given Level in M/G/1 Queues · Study