The Synchronized Short-Time-Fourier-Transform: Properties and Definitions for Multichannel Source Separation | IEEE Journals & Magazine | IEEE Xplore