Online Process Discovery to Detect Concept Drifts in LTL-Based Declarative Process Models · Study