Finite Buffer Behavior with Poisson Arrivals and Random Server Interruptions | IEEE Journals & Magazine | IEEE Xplore