Instruments and procedures for time calibration of the LHCb muon detector

We describe the dedicated circuits and the procedures implemented in the LHCb muon system aimed at an accurate time calibration of the detector channels. Time calibration is crucial for the correct operation of the hardware trigger level of the LHCb experiment.