Teleoperated manipulator for leak detection of sealed radioactive sources | IEEE Conference Publication | IEEE Xplore