"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