Occupation times of spectrally negative Lévy processes with applications · Study