The stationary workload of the G/M/1 queue with impatient customers

We consider a G/M/1 queue in which the patience time of the customers is constant. The stationary distribution of the workload of the server, or the virtual waiting time, is derived by the level crossing argument. To this end, we obtain the expected downcrossings of a level in the workload process during a busy cycle and then the expected length of a busy cycle. For both the expectations, we use the dual property between the M/G/1 and G/M/1 queue.