RATTLie: A variational Lie group integration scheme for constrained mechanical systems. - Stefan Hante; Martin Arnold (J. Comput. Appl. Math., 2021)