On verifying the first-order Markovian assumption for a Rayleigh fading channel model | IEEE Journals & Magazine | IEEE Xplore