1. Instrumenting contracts with aspect-oriented programming to increase observability and support debugging
2. Aspect-oriented monitoring of UML and OCL constraints;richters;The 4th AOSD Modeling With UML Workshop,2003
3. Checking design constraints at run-time using OCL and AspectJ;cheon;International Journal of Software Engineering,2009