In this paper, we identify Laplace transforms of occupation times of intervals until first passage times for spectrally negative Lévy processes. New analytical identities for scale functions are derived and therefore the results are explicitly stated in terms of the scale functions of the...