https://9dok.net/document/yngm6jvp-formale-modellierung.html