A limit theorem for the last exit time over a moving nonlinear boundary for a Gaussian process

We prove a limit theorem on the convergence of the distributions of the scaled last exit time over a slowly moving nonlinear boundary for a class of Gaussian stationary processes. The limit is a double exponential (Gumbel) distribution.