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. 459-482 2010 22 Formal Asp. Comput. 3-4 http://dx.doi.org/10.1007/s00165-009-0112-0 db/journals/fac/fac22.html#AalstDGHRM10