A globally stable convergent algorithm for the integration of constrained mechanical systems | IEEE Conference Publication | IEEE Xplore