Wil M. P. van der Aalst, Marlon Dumas, Florian Gottschalk, Arthur H. M. ter Hofstede, Marcello La Rosa, Jan Mendling. Preserving correctness during business process model configuration. Formal Asp. Comput., 22(3-4):459-482, 2010. [doi]
Abstract is missing.