https://9dok.net/document/zwvm23x0-materialsammlung-formale-methoden-ocl-und-eclipse.html