A non-stationary hidden Markov model for satellite propagation channel modeling | IEEE Conference Publication | IEEE Xplore