Design and Modeling of Shape Memory Alloy Spring Actuated Microsystem | IEEE Conference Publication | IEEE Xplore