Cutting Depth Monitoring Based on Milling Force for Robot-Assisted Laminectomy | IEEE Journals & Magazine | IEEE Xplore