Finite-State Markov Modeling for Wireless Channels in Tunnel Communication-Based Train Control Systems | IEEE Journals & Magazine | IEEE Xplore