https://123dok.net/document/yr30m18y-axiomatic-development-of-a-machine-control-system.html