@misc{indiciae79f8c8e93c71,
  title = {Towards Proved Formal Specification and Verification of STL Operators as Synchronous Observers},
  author = {Céline Bellanger and Pierre-Loïc Garoche and Matthieu Martel and Célia Picard},
  year = {2023},
  doi = {10.4204/eptcs.395.14},
  url = {https://arxiv.org/abs/2311.09788},
  note = {Source identifier: 2311.09788}
}