A Gaussian Sum Filter for Pulsar Navigation: Processing Single Photon Arrival Time Measurements | IEEE Journals & Magazine | IEEE Xplore