Leveraging Static Analysis: An IDE for RTLola.

Bernd Finkbeiner, Florian Kohn, Malte Schledjewski

Browse the full ATVA paper archive.