Modeling and analysis of dynamic spectrum allocation in high-speed railways | IEEE Conference Publication | IEEE Xplore