Modeling and design of shape memory alloy actuators | IEEE Conference Publication | IEEE Xplore