D. Kolovos, R. Paige, and F. Polack, “Aligning OCL with Domain-Specific Languages to Support Instance-Level Model Queries”, ECEASST, vol. 5, Jul. 2007.