https://123dok.net/document/nq7ln3ry-enforcing-software-engineering-tools-interoperability-example-aadl-subsets.html