Best paper award of the 13th conference on Business Process Management (BPM 2015), Innsbruck, Austria, with the paper entitled "Ensuring Model Consistency in Declarative Process Discovery"