Analysis of the discrete-time SMP/D/1/s finite buffer queue with applications in ATM | IEEE Conference Publication | IEEE Xplore