Invariance principles for local times in regenerative settings

Consider a stochastic process $\mathfrak{X}$, regenerative at a state $x$ which is instantaneous and regular. Let $L$ be a regenerative local time for $\mathfrak{X}$ at $x$. Suppose furthermore that $\mathfrak{X}$ can be approximated by discrete time regenerative processes $\mathfrak{X}^n$ for which $x$ is accesible. We give conditions on $\mathfrak{X}$ and $\mathfrak{X}^n$ so that the naturally defined local time of $\mathfrak{X}^n$ converges weakly to $L$. This limit theorem generalizes previous invariance principles that have appeared in the literature.