1. Chimiak-Opoka, J., Lenz, C.: Use of OCL in a model assessment framework: An experience report. Electronic Communications of the EASST 5 (2006)
2. Chimiak-Opoka, J., Felderer, M., Lenz, C., Lange, C.: Querying UML Models using OCL and Prolog: A Performance Study. In: Model Driven Engineering, Verification, and Validation, Lillehammer, Norway (April 2008); presented at MoDeVVa
3. Lecture Notes in Computer Science;T. Baar,2006
4. Lecture Notes in Computer Science;A.L. Correa,2007
5. Ackermann, J.: Fallstudie zur spezifikation von fachkomponenten. In: Turowski, K. (ed.) 2. Workshop Modellierung und Spezifikation von Fachkomponenten, Bamberg, Deutschland, pp. 1–66 (2001) (in German)