@misc{indiciae145133e2f495,
  title = {Leveraging Static Analysis: An IDE for RTLola},
  author = {Bernd Finkbeiner and Florian Kohn and Malte Schledjewski},
  year = {2023},
  url = {https://arxiv.org/abs/2311.08096},
  note = {Source identifier: 2311.08096}
}