Hoffmann, J., 		Horstmann, L., & 		Frohlich, A.
2023 out 16.  Using Formal Methods for On-The-Fly Time Series Verification. Anais do Latin-American Symposium on Dependable Computing (LADC). [Online] :