Ensuring correctness during process configuration via partner synthesis Journal Articles uri icon