An optimization framework for high intensity focused ultrasound: From design of device to ultrasound therapy | IEEE Conference Publication | IEEE Xplore