Synthesis of Actively Adjustable Springs by Antagonistic Redundant Actuation | Synapse