ARM: An algebraic robot dynamic modeling program | IEEE Conference Publication | IEEE Xplore