Miclo, Laurent (2023) Strong stationary times for finite Heisenberg walks. ESAIM: Probability and Statistics, vol. 27. 515 - 557.