Occupation times of intervals until first passage times for spectrally negative Lévy processes - Ronnie L. Loeffen; Jean-François Renaud; Xiaowen Zhou (2012)