Design Analysis of a Shape Memory Alloy Bias-Spring Linear Actuator | IEEE Conference Publication | IEEE Xplore