Miclo, Laurent <https://www.idref.fr/057258279>  (2023) Strong stationary times for finite Heisenberg walks.    ESAIM: Probability and Statistics, vol. 27.  515 - 557.