Model-based Specification and Capability Evaluation of Robot Kinematic Requirements | Synapse