The probability distribution of the number of base stations within an active set window: comparison with simulation results | IEEE Conference Publication | IEEE Xplore