Real-time 3D ultrasound-based servoing of a surgical instrument | IEEE Conference Publication | IEEE Xplore