Implicit nonlinear complementarity: A new approach to contact dynamics | IEEE Conference Publication | IEEE Xplore