There is a lecture of Lothar Schmitz about OO Design by Contract with OCL (slides in german).
You can find the slides here ! The lecture is based upon the OCL tool Use and material of Martin Gogolla (Bremen University, Germany).