On occupation times in the red of Lévy risk models

In this paper, we obtain analytical expression for the distribution of the occupation time in the red (below level $0$) up to an (independent) exponential horizon for spectrally negative Lévy risk processes and refracted spectrally negative Lévy risk processes. This result improves the existing literature in which only the Laplace transforms are known. Due to the close connection between occupation time and many other quantities, we provide a few applications of our results including future draw...