Signal Processing Method for Scanning-Acoustic-Tomography Defect Detection based on Correlation between Ultrasound Waveforms | IEEE Conference Publication | IEEE Xplore