On the second derivative of a Gaussian process envelope | IEEE Journals & Magazine | IEEE Xplore