Sound velocity measurement in acoustic leak noise correlation systems | IEEE Conference Publication | IEEE Xplore