https://9dok.net/document/q2nole8j-materialsammlung-formale-methoden-ocl-und-vdm.html