Probabilistic source localization based on TDoA measurements by cross-correlation, submitted to IEEE Commun. Lett.