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