Realistic Ultrasound Synthesis Based on Diagnostic CT to Facilitate Ultrasound-Guided Robotic Spine Surgery | IEEE Journals & Magazine | IEEE Xplore