Trotter derived algorithms for molecular dynamics with constraints: Velocity Verlet revisited. - Virginie Marry; Giovanni Ciccotti (J. Comput. Phys., 2007)