https://5dok.net/document/9yndeekz-contract-based-specification-of-embedded-control-systems.html