A Measurement Model for Precision Pulsar Timing | Synapse