M. de Miguel. Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003., page 210--216. IEEE, (January 2003)
?. Lecture Notes in Computer Science Springer, 1 edition, (2002)MR: eher für den fortgeschrittenen Einsatz von OCL oder sogar für die Forschung rund um OCL.