An occupation-time density is identified for a class of absolutely continuous functions $x(t)$ in terms of $x'(t)$ and the number of times that $x(t)$ assumes the values in its range. This result is applied to stationary random processes with a finite second spectral moment. As a by-product, a generalization of Rice's formula for the mean number of crossings is obtained.
"Occupation Times for Smooth Stationary Processes." Ann. Probab. 1 (1) 131 - 137, February, 1973. https://doi.org/10.1214/aop/1176997029