Kempa, W. M. On Time-to-Buffer Overflow Distribution in a Single-Machine Discrete-Time System With Finite Capacity. MMA 2020, 25, 289-302.