Local stationarity and time-frequency distributions

We use time-frequency distributions to define local stationarity of a random process. We argue that local stationarity is achieved when the Wigner spectrum is approximately factorable. We show that when that is the case the autocorrelation function is the one considered by Silverman in 1957. Other time-frequency representations are also considered.