NiTi Alloy Negator Springs for Long-Stroke Constant-Force Shape Memory Actuators: Modeling, Simulation and Testing