Ultrasonic measurement of bone thickness for spinal surgery | IEEE Journals & Magazine | IEEE Xplore