https://9pdf.net/document/y963k8ll-approach-automated-model-composition-illustrated-context-design-verification.html