Development of a robot system assisting artificial cervical disc replacement surgery | IEEE Conference Publication | IEEE Xplore