José Hoffmann, Leonardo Horstmann, and Antonio Frohlich. 2023.
 Using Formal Methods for On-The-Fly Time Series Verification. In <em>Anais do XII Latin-American Symposium on Dependable Computing</em>, outubro 16, 2023, La Paz/Bolívia, Brasil. SBC, Porto Alegre, Brasil, 21–29.