Mathematical model and experimental verification of shape memory alloy for designing micro actuator | IEEE Conference Publication | IEEE Xplore