Obtaining manipulators kinematic models from its formalised description | IEEE Conference Publication | IEEE Xplore