On the spectral mapping theorem for a one-parameter group of operators

Let $A$ be the generator of a strongly continuous non-quasianalytic one-parameter group of operators $U(t)$ ($A$ can be unbounded). Then the spectral mapping theorem is established in the following form: $\sigma(U(t))=\overline{\exp(\sigma(A)t)}$.