Let $X_t$ be an Ornstein-Uhlenbeck process solving $dx_t = \theta (\mu-x_t)dt + \sigma dW_t$. The solution is known and given by: $$ x_t = x_0 e^{-\theta t} + \mu(1-e^{-\theta t}) + \int_0^t \sigma e^{\theta (s-t)} dW_s$$

Is there a closed-form formula (both SDE and actual solution) for time integral $\int_0^t X_t dt$?

(I know there is a lot of literature on interest theory that analyzes the expectation of this kind of integral, but this is not something I am after)