New Actuation Mechanism for Actively Cooled SMA Springs in a Neurosurgical Robot | IEEE Journals & Magazine | IEEE Xplore