J. Hoffmann, L. Horstmann, and A. Frohlich.
" Using Formal Methods for On-The-Fly Time Series Verification", in <em>Anais do XII Latin-American Symposium on Dependable Computing</em>, La Paz/Bolívia, 2023, pp. 21–29.