Verification of the westervelt equation for focused transducers | IEEE Journals & Magazine | IEEE Xplore