Design of a multifunctional end-effector for robotic replacement of TBM disc cutters | IEEE Conference Publication | IEEE Xplore