The waiting time distribution for a TDMA model with a finite buffer and state-dependent service | IEEE Journals & Magazine | IEEE Xplore