Robotic surgical system utilizing FE model coupled with ultrasonic tracking | IEEE Conference Publication | IEEE Xplore