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