Correctnesspreserving configuration of business process models. (2008)

by W M P van der Aalst, M Dumas, F Gottschalk, A H M ter Hofstede, M L Rosa, J Mendling