A two-step algorithm for generating efficient manipulator models in symbolic form | IEEE Conference Publication | IEEE Xplore