A. Brucker, J. Doser, and B. Wolff, “An MDA Framework Supporting OCL”, ECEASST, vol. 5, Jul. 2007.