Time of arrival estimation in pulsar-based navigation systems | IEEE Conference Publication | IEEE Xplore