Research Article

Integrating Security Requirements Engineering into MBSE: Profile and Guidelines

Figure 10

OCL query for finding all blocks that are not linked with an asset.