A set of examples is available through the "New project"-wizard. Choose "rCOS CoCoME examples". It contains the specification of the first usecase of the CoCoME example, and a few other models/specifications.

This will create a new project in your workspace. Double-click on any of the .rcosdi files to explore the models.

CoCoME/cocome/CoCoME.uml is the specification of the first usecase

CoCoME/cocome/CoCoME-exe.uml is the specification of the first usecase, using "executable" code for the designs of the methods

CoCoME/cocome_usecase_refinement/CoCoME.uml is the refinement of the first usecase, introducing sub-components

CoCoME/CoCoME-OO/CoCoME.uml contains a particular OO-model where we studied  sequence diagram transformations.