Hoffmann, José, 		Horstmann, Leonardo, AND 		Frohlich, Antonio.
" Using Formal Methods for On-The-Fly Time Series Verification" <em>Proceedings of the Latin-American Symposium on Dependable Computing (LADC)</em> [Online], (16 October 2023)