Maximum likelihood time-of-arrival estimation using antenna arrays: Application to global navigation satellite systems | IEEE Conference Publication | IEEE Xplore