Benjamin Mesing Constantinos Constantinides Wolfgang Lohmann Limes: An Aspect-Oriented Constraint Checking Language. 299-315 2006 conf/ecmdafa/2006 ECMDA-FA http://dx.doi.org/10.1007/11787044_23 db/conf/ecmdafa/ecmdafa2006.html#MesingCL06