On the modeling of GMSK binary transmission over time-variant TDMA/FDD macrocellular radio channels with derotation-based coherent demodulation