Residence time distribution for a class of Gaussian Markov processes.