TEDS: A high speed digital mobile communication air interface for professional users | IEEE Journals & Magazine | IEEE Xplore