From event streams to process models and back: Challenges and opportunities · Study