Deformation correction in ultrasound images using contact force measurements | IEEE Conference Publication | IEEE Xplore