Hoffmann, J., 		Horstmann, L., & 		Frohlich, A.
(2023).
 Using Formal Methods for On-The-Fly Time Series Verification.
In <em>Proceedings of the 12th Latin-American Symposium on Dependable Computing</em>, (pp. 21–29). Porto Alegre: SBC.