https://9dok.net/document/y4wrkk20-verifying-component-connector-models-crosscutting-structural-views.html