A mathematical model for discrete-time buffer systems with correlated output process · Study