Numerical analysis of modular regularization methods for the BDF2 time discretization of the Navier-Stokes equationsWilliam Layton, Nathaniel Mays, Monika Neda and Catalin TrencheaESAIM: M2AN, 48 3 (2014) 765-793DOI: https://doi.org/10.1051/m2an/2013120