A Domain-specific Language and Architecture for Detecting Process Activities from Sensor Streams in IoT. - Ronny Seiger; Daniel Locher; Marco Kaufmann; Aaron Friedrich Kurz (CoRR, 2025)