"Ensuring correctness during process configuration via partner synthesis."

Wil M. P. van der Aalst, Niels Lohmann, Marcello La Rosa (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics