Dynamic Modeling and Functional characterization of NiTi Shape Memory Alloy Spring Actuator for Embedded Systems | IEEE Conference Publication | IEEE Xplore