Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers - Bellanger, Céline; Garoche, Pierre-Loïc; Martel, Matthieu; Picard, Célia (Electronic proceedings in theoretical computer science, 2023)