A system for ultrasound based intraoperative navigation in spine surgery | IEEE Conference Publication | IEEE Xplore