ECRTS 2025 paper