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