Mathematical model for superelastic shape memory alloy springs with large spring index