M. Wahler, J. Koehler, and A. Brucker, “Model-Driven Constraint Engineering”, ECEASST, vol. 5, Jul. 2007.