Finite-element modeling of shape memory alloy components in smart structures, part I: Non-linear coupled field finite element procedure | IEEE Conference Publication | IEEE Xplore