Formulation of time-resolved counting statistics based on a positive-operator-valued measure.