Time-Optimal Path Parameterization for Redundantly Actuated Robots: A Numerical Integration Approach | Synapse