Derivation of probability density function of dead times from time interval distribution measurements | IEEE Conference Publication | IEEE Xplore