Modeling and control of tissue compression and temperature for automation in robot-assisted surgery | IEEE Conference Publication | IEEE Xplore