Gnedenko-type limit theorem for the maximum of stationary Gaussian processes with a trend

A Gnedenko-type limit theorem is derived for the maximum of the process
$$ X(t)=\xi(t)-ct^\beta, $$
where $\xi(t)$ is a stationary Gaussian process and $c$ and $\beta$ are positive constants.