Stochastic Verification of the First-Order Markovian Assumption of Rain Attenuation for Satellite Channel Dynamic Modeling | IEEE Journals & Magazine | IEEE Xplore