Model-based constrained motion. a. Modeling, specification and control | IEEE Conference Publication | IEEE Xplore