https://123dok.net/document/q2n3o92p-a-generic-model-of-contracts-for-embedded-systems.html