Numerical formulae for TOA-based microphone and source localization | IEEE Conference Publication | IEEE Xplore