Tandem servers with finite buffers in a multi-tasking environment: performance guarantees via leaky buckets | IEEE Conference Publication | IEEE Xplore