Design and Bench Demonstration of a Robotic System for Cervical Spine Deformity Surgery | IEEE Conference Publication | IEEE Xplore