Tailored Magnetic Springs for Shape-Memory Alloy Actuated Mechanisms in Miniature Robots | IEEE Journals & Magazine | IEEE Xplore