A variable time-step IMEX-BDF2 SAV scheme and its sharp error estimate for the Navier–Stokes equationsYana Di, Yuheng Ma, Jie Shen and Jiwei ZhangESAIM: M2AN, 57 3 (2023) 1143-1170DOI: https://doi.org/10.1051/m2an/2023007