Automatic Generation of Questionnaires for Supporting Users during the Execution of Declarative Business Process Models | Publicación