de.tuberlin.cs.cis.ocl.example.check
Classes 
ExampleEnumDesc
ExampleTypeDesc
ExampleTypedProperty
ExampleTypeFacade
StateModel