Subexponential loss rate asymptotics for L,vy processes

We consider a L,vy process reflected in barriers at 0 and K > 0. The loss rate is the mean of the local time at K at time 1 when the process is started in stationarity, and is a natural continuous-time analogue of the stationary expected loss rate for a reflected random walk. We derive asymptotics for the loss rate when K tends to infinity, when the mean of the L,vy process is negative and the positive jumps are subexponential. In the course of this derivation, we achieve a formula, which is a generalization of the celebrated Pollaczeck-Khinchine formula.