A high-resolution digital time-interval measurement instrument