https://123dok.net/document/zkw1o701-transition-design-time-runtime-model-based-assurance-cases.html