IoT Miner: Intelligent Extraction of Event Logs from Sensor Data for Process Mining. - Edyta Brzychczy; Urszula Jessen; Krzysztof Kluza; Sridhar Sriram; Manuel Vargas Nettelnstroth (CoRR, 2025)