tudresden.ocl.injection.ocl.lib
Classes 
Invariant