On pre-exit joint occupation times for spectrally negative Lévy processes

We adopt a new approach to find Laplace transforms of joint occupation times over disjoint intervals for spectrally negative Lévy processes. The Laplace transforms are expressed in terms of scale functions.