Declarative Process Discovery: Linking Process and Textual Views · Study