Live demonstration: A pulsar signal receiver system for navigation | IEEE Conference Publication | IEEE Xplore