Operation principle and design of a differential magnetic shape memory actuator | IEEE Conference Publication | IEEE Xplore