Estimating conditional occupation-time distributions for dependent sequences

Consider a random integer-valued process X(t) on Z+ that satisfies some weak dependence condition. We study the empirical distribution function of the occupation times of such a process and prove convergence to a suitable Gaussian process. An application to the statistical analysis of open and closed sojourn-time distributions for ion channels is provided.