Some of the theses that were written in the context of the Dresden OCL Toolkit project are listed and available here.