General discrete-time queueing systems with correlated batch arrivals and departures | IEEE Conference Publication | IEEE Xplore